runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729169-1338678651/watcher-3729169-1338678651 -o /tmp/evaluation-result-3729169-1338678651/solver-3729169-1338678651 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3729169-1338678651.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.64 0.41 0.41 4/198 5749
/proc/meminfo: memFree=25745008/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5749/stat : 5749 (java) R 5747 5749 5561 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 333989451 23793664 556 33554432000 1073741824 1073778376 140734584281568 140734584270632 209874631233 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 5809 566 425 9 0 128 0
[startup+0.0448381 s]
/proc/loadavg: 1.64 0.41 0.41 4/198 5749
/proc/meminfo: memFree=25745008/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11253516 CPUtime=0.02 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 3719 0 1 0 2 0 0 0 20 0 13 0 333989451 11523600384 12084 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2813379 12084 1657 9 0 2804080 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11253516
[startup+0.100292 s]
/proc/loadavg: 1.64 0.41 0.41 4/198 5749
/proc/meminfo: memFree=25745008/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 4752 0 1 0 9 1 0 0 20 0 18 0 333989451 11864465408 13597 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2896598 13597 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300182 s]
/proc/loadavg: 1.64 0.41 0.41 4/198 5749
/proc/meminfo: memFree=25745008/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11852648 CPUtime=0.65 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 7869 0 1 0 63 2 0 0 20 0 22 0 333989451 12137111552 17445 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2963162 17445 2235 9 0 2953849 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 11852648
[startup+0.700205 s]
/proc/loadavg: 1.64 0.41 0.41 4/198 5749
/proc/meminfo: memFree=25745008/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11852648 CPUtime=2.19 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 17879 0 1 0 213 6 0 0 20 0 22 0 333989451 12137111552 43406 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2963162 43406 2275 9 0 2953849 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 11852648
[startup+1.50079 s]
/proc/loadavg: 1.64 0.41 0.41 6/220 5771
/proc/meminfo: memFree=25501768/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11852648 CPUtime=4.32 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 22811 0 1 0 423 9 0 0 20 0 22 0 333989451 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2963162 66394 2280 9 0 2953849 0
[pid=5749/tid=5751] ppid=5747 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5749/task/5751/stat : 5751 (java) S 5747 5749 5561 0 -1 4202560 2866 0 1 0 14 1 0 0 20 0 22 0 333989451 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140172064003224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5752] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5752/stat : 5752 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140172032412072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5753] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5753/stat : 5753 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140172031359528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5754] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5754/stat : 5754 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140172030306472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5755] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5755/stat : 5755 (java) S 5747 5749 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171897964840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5756] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5756/stat : 5756 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171896912808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5757] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (java) S 5747 5749 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171559300136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5758] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5758/stat : 5758 (java) S 5747 5749 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171558247080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5759] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5759/stat : 5759 (java) S 5747 5749 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171557194536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5760] ppid=5747 vsize=11852648 CPUtime=0.07 cores=1,3,5,7
/proc/5749/task/5760/stat : 5760 (java) S 5747 5749 5561 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 22 0 333989455 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171544996200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5761] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5761/stat : 5761 (java) S 5747 5749 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333989455 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171543942520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5762] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5762/stat : 5762 (java) S 5747 5749 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333989455 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171542889352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5763] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5763/stat : 5763 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989457 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171541838096 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (java) S 5747 5749 5561 0 -1 4202560 11078 0 0 0 78 2 0 0 20 0 22 0 333989457 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171540785976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5765] ppid=5747 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/5749/task/5765/stat : 5765 (java) S 5747 5749 5561 0 -1 4202560 7422 0 0 0 77 2 0 0 20 0 22 0 333989457 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171539733432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5766] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5766/stat : 5766 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989457 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171538680568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5767] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5767/stat : 5767 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989457 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171537628232 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5768] ppid=5747 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/5749/task/5768/stat : 5768 (java) R 5747 5749 5561 0 -1 4202560 28 0 0 0 120 0 0 0 20 0 22 0 333989469 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171536515408 140171912040067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5769] ppid=5747 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/5749/task/5769/stat : 5769 (java) R 5747 5749 5561 0 -1 4202560 144 0 0 0 117 3 0 0 20 0 22 0 333989469 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171535460360 140171912263741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5770] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5770/stat : 5770 (java) S 5747 5749 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333989469 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171534410536 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5771] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5771/stat : 5771 (java) S 5747 5749 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 333989469 12137111552 66394 33554432000 1073741824 1073778376 140734584281568 140171533357992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 11852648
[startup+3.10085 s]
/proc/loadavg: 1.64 0.41 0.41 5/220 5771
/proc/meminfo: memFree=25479364/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11852648 CPUtime=7.45 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 22859 0 1 0 735 10 0 0 20 0 22 0 333989451 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2963162 83812 2280 9 0 2953849 0
[pid=5749/tid=5751] ppid=5747 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5749/task/5751/stat : 5751 (java) S 5747 5749 5561 0 -1 4202560 2866 0 1 0 14 1 0 0 20 0 22 0 333989451 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140172064003224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5752] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5752/stat : 5752 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140172032412072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5753] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5753/stat : 5753 (java) S 5747 5749 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140172031359528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5754] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5754/stat : 5754 (java) S 5747 5749 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140172030306472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5755] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5755/stat : 5755 (java) S 5747 5749 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171897964840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5756] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5756/stat : 5756 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171896912808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5757] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (java) S 5747 5749 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171559300136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5758] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5758/stat : 5758 (java) S 5747 5749 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171558247080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5759] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5759/stat : 5759 (java) S 5747 5749 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 333989453 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171557194536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5760] ppid=5747 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/5749/task/5760/stat : 5760 (java) S 5747 5749 5561 0 -1 4202560 33 0 0 0 17 0 0 0 20 0 22 0 333989455 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171544996200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5761] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5761/stat : 5761 (java) S 5747 5749 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333989455 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171543942520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5762] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5762/stat : 5762 (java) S 5747 5749 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333989455 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171542889352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5763] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5763/stat : 5763 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989457 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171541838096 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (java) S 5747 5749 5561 0 -1 4202560 11078 0 0 0 78 2 0 0 20 0 22 0 333989457 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171540785976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5765] ppid=5747 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/5749/task/5765/stat : 5765 (java) S 5747 5749 5561 0 -1 4202560 7422 0 0 0 80 2 0 0 20 0 22 0 333989457 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171539733432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5766] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5766/stat : 5766 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989457 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171538680568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5767] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5767/stat : 5767 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333989457 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171537628232 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5768] ppid=5747 vsize=11852648 CPUtime=2.68 cores=1,3,5,7
/proc/5749/task/5768/stat : 5768 (java) R 5747 5749 5561 0 -1 4202560 31 0 0 0 268 0 0 0 20 0 22 0 333989469 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171536515528 140171912174406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5769] ppid=5747 vsize=11852648 CPUtime=2.69 cores=1,3,5,7
/proc/5749/task/5769/stat : 5769 (java) R 5747 5749 5561 0 -1 4202560 177 0 0 0 264 5 0 0 20 0 22 0 333989469 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171535460704 140171912130086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5770] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5770/stat : 5770 (java) S 5747 5749 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333989469 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171534410536 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5771] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5771/stat : 5771 (java) S 5747 5749 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 333989469 12137111552 83812 33554432000 1073741824 1073778376 140734584281568 140171533357992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+3.50086 s]
/proc/loadavg: 1.64 0.41 0.41 5/220 5771
/proc/meminfo: memFree=25409236/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11852648 CPUtime=8.24 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 22865 0 1 0 811 13 0 0 20 0 19 0 333989451 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2963162 84315 2281 9 0 2953849 0
[pid=5749/tid=5751] ppid=5747 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5749/task/5751/stat : 5751 (java) S 5747 5749 5561 0 -1 4202560 2866 0 1 0 14 1 0 0 20 0 19 0 333989451 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172064003224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5752] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5752/stat : 5752 (java) S 5747 5749 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172032412072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5753] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5753/stat : 5753 (java) S 5747 5749 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172031359528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5754] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5754/stat : 5754 (java) S 5747 5749 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172030306472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5755] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5755/stat : 5755 (java) S 5747 5749 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171897964840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5756] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5756/stat : 5756 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171896912808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5757] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (java) S 5747 5749 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171559300136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5758] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5758/stat : 5758 (java) S 5747 5749 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171558247080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5759] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5759/stat : 5759 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171557194536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5760] ppid=5747 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/5749/task/5760/stat : 5760 (java) S 5747 5749 5561 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 19 0 333989455 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171544996200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5761] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5761/stat : 5761 (java) S 5747 5749 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333989455 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171543942520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5762] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5762/stat : 5762 (java) S 5747 5749 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333989455 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171542889352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5763] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5763/stat : 5763 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171541838096 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (java) S 5747 5749 5561 0 -1 4202560 11078 0 0 0 78 2 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171540785976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5765] ppid=5747 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/5749/task/5765/stat : 5765 (java) S 5747 5749 5561 0 -1 4202560 7422 0 0 0 81 2 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171539733432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5766] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5766/stat : 5766 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171538680568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5767] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5767/stat : 5767 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171537628232 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5770] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5770/stat : 5770 (java) S 5747 5749 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333989469 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171534410536 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 11852648
[startup+3.60076 s]
/proc/loadavg: 1.64 0.41 0.41 5/220 5771
/proc/meminfo: memFree=25409236/32873844 swapFree=7632/7632
[pid=5749] ppid=5747 vsize=11852648 CPUtime=8.24 cores=1,3,5,7
/proc/5749/stat : 5749 (java) S 5747 5749 5561 0 -1 4202496 22865 0 1 0 811 13 0 0 20 0 19 0 333989451 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140734584272704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5749/statm: 2963162 84315 2281 9 0 2953849 0
[pid=5749/tid=5751] ppid=5747 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5749/task/5751/stat : 5751 (java) S 5747 5749 5561 0 -1 4202560 2866 0 1 0 14 1 0 0 20 0 19 0 333989451 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172064003224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5752] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5752/stat : 5752 (java) S 5747 5749 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172032412072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5753] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5753/stat : 5753 (java) S 5747 5749 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172031359528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5754] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5754/stat : 5754 (java) S 5747 5749 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140172030306472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5755] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5755/stat : 5755 (java) S 5747 5749 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171897964840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5756] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5756/stat : 5756 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171896912808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5757] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (java) S 5747 5749 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171559300136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5758] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5758/stat : 5758 (java) S 5747 5749 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171558247080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5759] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5759/stat : 5759 (java) S 5747 5749 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333989453 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171557194536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5760] ppid=5747 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/5749/task/5760/stat : 5760 (java) S 5747 5749 5561 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 19 0 333989455 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171544996200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5761] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5761/stat : 5761 (java) S 5747 5749 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333989455 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171543942520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5762] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5762/stat : 5762 (java) S 5747 5749 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333989455 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171542889352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5763] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5763/stat : 5763 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171541838096 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (java) S 5747 5749 5561 0 -1 4202560 11078 0 0 0 78 2 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171540785976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5749/tid=5765] ppid=5747 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/5749/task/5765/stat : 5765 (java) S 5747 5749 5561 0 -1 4202560 7422 0 0 0 81 2 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171539733432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5749/tid=5766] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5766/stat : 5766 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171538680568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5749/tid=5767] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5767/stat : 5767 (java) S 5747 5749 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333989457 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171537628232 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5749/tid=5770] ppid=5747 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5749/task/5770/stat : 5770 (java) S 5747 5749 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333989469 12137111552 84315 33554432000 1073741824 1073778376 140734584281568 140171534410536 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 11852648
Child status: 20
Real time (s): 3.70059
CPU time (s): 8.28274
CPU user time (s): 8.08177
CPU system time (s): 0.200969
CPU usage (%): 223.822
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.08177
system time used= 0.200969
maximum resident set size= 337312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22877
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 627
involuntary context switches= 240
runsolver used 0.000999 second user time and 0.046992 second system time
The end