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-3731941-1338684029/watcher-3731941-1338684029 -o /tmp/evaluation-result-3731941-1338684029/solver-3731941-1338684029 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731941-1338684029.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: 3.74 3.69 3.70 4/196 14582
/proc/meminfo: memFree=24074680/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14582/stat : 14582 (java) D 14580 14582 4583 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334528349 9515008 183 33554432000 1073741824 1073778376 140736831985168 140736831976200 229355896501 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/14582/statm: 2323 183 140 9 0 71 0
[startup+0.0390101 s]
/proc/loadavg: 3.74 3.69 3.70 4/196 14582
/proc/meminfo: memFree=24074680/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=10977196 CPUtime=0.01 cores=1,3,5,7
/proc/14582/stat : 14582 (java) S 14580 14582 4583 0 -1 4202496 3294 0 1 0 0 1 0 0 20 0 10 0 334528349 11240648704 10128 33554432000 1073741824 1073778376 140734724091344 140734724082480 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14582/statm: 2744299 10128 952 9 0 2735408 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10977196
[startup+0.100334 s]
/proc/loadavg: 3.74 3.69 3.70 4/196 14582
/proc/meminfo: memFree=24074680/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/14582/stat : 14582 (java) S 14580 14582 4583 0 -1 4202496 4471 0 1 0 6 2 0 0 20 0 18 0 334528349 11864465408 12833 33554432000 1073741824 1073778376 140734724091344 140734724082480 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14582/statm: 2896598 12833 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392
[startup+0.300298 s]
/proc/loadavg: 3.74 3.69 3.70 4/196 14582
/proc/meminfo: memFree=24074680/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/14582/stat : 14582 (java) S 14580 14582 4583 0 -1 4202496 6877 0 1 0 41 4 0 0 20 0 19 0 334528349 12137111552 16709 33554432000 1073741824 1073778376 140734724091344 140734724082480 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14582/statm: 2963162 16709 2229 9 0 2953849 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11852648
[startup+0.700212 s]
/proc/loadavg: 3.74 3.69 3.70 4/196 14582
/proc/meminfo: memFree=24074680/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/14582/stat : 14582 (java) S 14580 14582 4583 0 -1 4202496 8725 0 1 0 48 5 0 0 20 0 19 0 334528349 12137111552 17598 33554432000 1073741824 1073778376 140734724091344 140734724082480 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14582/statm: 2963162 17598 2239 9 0 2953849 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.10761 s]
/proc/loadavg: 3.52 3.65 3.68 6/218 14607
/proc/meminfo: memFree=23987912/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=11852648 CPUtime=1.74 cores=1,3,5,7
/proc/14582/stat : 14582 (java) S 14580 14582 4583 0 -1 4202496 16469 0 1 0 166 8 0 0 20 0 19 0 334528349 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140734724082480 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14582/statm: 2963162 27573 2250 9 0 2953849 0
[pid=14582/tid=14584] ppid=14580 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/14582/task/14584/stat : 14584 (java) S 14580 14582 4583 0 -1 4202560 3381 0 1 0 20 2 0 0 20 0 19 0 334528350 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278084826264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14585] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14585/stat : 14585 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278073887016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14586] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14586/stat : 14586 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278072834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14582/tid=14587] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14587/stat : 14587 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278071781928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14588] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14588/stat : 14588 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278070729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14589] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14589/stat : 14589 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278069676840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14590] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14590/stat : 14590 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278068624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14591] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14591/stat : 14591 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278067571752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14592] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14592/stat : 14592 (java) S 14580 14582 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140278066518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14593] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14593/stat : 14593 (java) S 14580 14582 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334528354 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277901949160 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14594] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14594/stat : 14594 (java) S 14580 14582 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334528355 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277900895224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14595] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14595/stat : 14595 (java) S 14580 14582 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334528355 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277899842824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14596] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14596/stat : 14596 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528357 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277898791312 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14597] ppid=14580 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/14582/task/14597/stat : 14597 (java) R 14580 14582 4583 0 -1 4202560 4462 0 0 0 46 0 0 0 20 0 19 0 334528357 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277897726424 140278086395024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14598] ppid=14580 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/14582/task/14598/stat : 14598 (java) R 14580 14582 4583 0 -1 4202560 7295 0 0 0 41 2 0 0 20 0 19 0 334528357 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277896673320 140278091809425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14599] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14599/stat : 14599 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528357 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277895634040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14582/tid=14600] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14600/stat : 14600 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528357 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277894581448 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14604] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14604/stat : 14604 (java) S 14580 14582 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334528375 12137111552 27573 33554432000 1073741824 1073778376 140734724091344 140277890368552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 11852648
[startup+1.20088 s]
/proc/loadavg: 3.52 3.65 3.68 6/218 14607
/proc/meminfo: memFree=23987912/32873852 swapFree=6856/6856
[pid=14582] ppid=14580 vsize=11852648 CPUtime=1.83 cores=1,3,5,7
/proc/14582/stat : 14582 (java) S 14580 14582 4583 0 -1 4202496 17446 0 1 0 175 8 0 0 20 0 19 0 334528349 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140734724082480 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14582/statm: 2963162 26590 2250 9 0 2953849 0
[pid=14582/tid=14584] ppid=14580 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/14582/task/14584/stat : 14584 (java) S 14580 14582 4583 0 -1 4202560 3381 0 1 0 20 2 0 0 20 0 19 0 334528350 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278084826264 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14585] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14585/stat : 14585 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278073887016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14586] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14586/stat : 14586 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278072834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14582/tid=14587] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14587/stat : 14587 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278071781928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14588] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14588/stat : 14588 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278070729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14589] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14589/stat : 14589 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278069676840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14590] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14590/stat : 14590 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278068624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14591] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14591/stat : 14591 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278067571752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14592] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14592/stat : 14592 (java) S 14580 14582 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334528353 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140278066518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14593] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14593/stat : 14593 (java) S 14580 14582 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334528354 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277901949160 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14594] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14594/stat : 14594 (java) S 14580 14582 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334528355 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277900895224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14595] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14595/stat : 14595 (java) S 14580 14582 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334528355 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277899842824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14596] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14596/stat : 14596 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528357 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277898791312 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14597] ppid=14580 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/14582/task/14597/stat : 14597 (java) S 14580 14582 4583 0 -1 4202560 4462 0 0 0 48 0 0 0 20 0 19 0 334528357 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277897738936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14582/tid=14598] ppid=14580 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/14582/task/14598/stat : 14598 (java) S 14580 14582 4583 0 -1 4202560 8272 0 0 0 48 2 0 0 20 0 19 0 334528357 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277896686136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14599] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14599/stat : 14599 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528357 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277895634040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14582/tid=14600] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14600/stat : 14600 (java) S 14580 14582 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334528357 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277894581448 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14582/tid=14604] ppid=14580 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14582/task/14604/stat : 14604 (java) S 14580 14582 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334528375 12137111552 26590 33554432000 1073741824 1073778376 140734724091344 140277890368552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.27654
CPU time (s): 1.87571
CPU user time (s): 1.76073
CPU system time (s): 0.114982
CPU usage (%): 146.937
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.76073
system time used= 0.114982
maximum resident set size= 111276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17457
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= 332
involuntary context switches= 51
runsolver used 0.010998 second user time and 0.017997 second system time
The end