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-3687451-1337871928/watcher-3687451-1337871928 -o /tmp/evaluation-result-3687451-1337871928/solver-3687451-1337871928 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687451-1337871928.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: 0.74 0.20 0.07 3/192 20738
/proc/meminfo: memFree=29997468/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20738/stat : 20738 (java) R 20736 20738 20334 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 253321417 23793664 864 33554432000 1073741824 1073778376 140736376640576 140736376629640 139754157426394 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 5793 858 647 9 0 128 0
[pid=20738/tid=20739] ppid=20736 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) R 20736 20738 20334 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 253321417 24780800 867 33554432000 1073741824 1073778376 140736376640576 140736376629640 235374778545 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.012902 s]
/proc/loadavg: 0.74 0.20 0.07 3/192 20738
/proc/meminfo: memFree=29997468/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=8949240 CPUtime=0 cores=1,3,5,7
/proc/20738/stat : 20738 (java) S 20736 20738 20334 0 -1 4202496 2022 0 1 0 0 0 0 0 20 0 10 0 253321417 9164021760 2214 33554432000 1073741824 1073778376 140736376640576 140736376631712 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 2237310 2214 951 9 0 2228419 0
[pid=20738/tid=20739] ppid=20736 vsize=8949240 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) S 20736 20738 20334 0 -1 4202560 868 0 1 0 0 0 0 0 20 0 10 0 253321417 9164021760 2214 33554432000 1073741824 1073778376 140736376640576 139754155591632 235378106420 0 4 0 16784584 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8949240
[startup+0.100329 s]
/proc/loadavg: 0.74 0.20 0.07 3/192 20738
/proc/meminfo: memFree=29997468/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/20738/stat : 20738 (java) S 20736 20738 20334 0 -1 4202496 4370 0 1 0 9 1 0 0 20 0 18 0 253321417 9787813888 5568 33554432000 1073741824 1073778376 140736376640576 140736376631712 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 2389603 5568 2108 9 0 2380296 0
[pid=20738/tid=20739] ppid=20736 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) R 20736 20738 20334 0 -1 4202560 2418 0 1 0 7 0 0 0 20 0 18 0 253321417 9787813888 5569 33554432000 1073741824 1073778376 140736376640576 139754155588376 139754163354451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300207 s]
/proc/loadavg: 0.74 0.20 0.07 3/192 20738
/proc/meminfo: memFree=29997468/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/20738/stat : 20738 (java) S 20736 20738 20334 0 -1 4202496 5618 0 1 0 49 1 0 0 20 0 18 0 253321417 9787813888 8899 33554432000 1073741824 1073778376 140736376640576 140736376631712 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 2389603 8899 2217 9 0 2380296 0
[pid=20738/tid=20739] ppid=20736 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) R 20736 20738 20334 0 -1 4202560 2445 0 1 0 27 0 0 0 20 0 18 0 253321417 9787813888 8899 33554432000 1073741824 1073778376 140736376640576 139754155588376 139754025190465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412
[startup+0.700238 s]
/proc/loadavg: 0.74 0.20 0.07 3/192 20738
/proc/meminfo: memFree=29997468/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/20738/stat : 20738 (java) S 20736 20738 20334 0 -1 4202496 8826 0 1 0 129 4 0 0 20 0 19 0 253321417 9855975424 38052 33554432000 1073741824 1073778376 140736376640576 140736376631712 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 2406244 38052 2242 9 0 2396937 0
[pid=20738/tid=20739] ppid=20736 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) R 20736 20738 20334 0 -1 4202560 2510 0 1 0 64 3 0 0 20 0 19 0 253321417 9855975424 38052 33554432000 1073741824 1073778376 140736376640576 139754155590416 139754024828711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+0.900344 s]
/proc/loadavg: 0.74 0.20 0.07 3/192 20738
/proc/meminfo: memFree=29997468/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/20738/stat : 20738 (java) S 20736 20738 20334 0 -1 4202496 9413 0 1 0 166 4 0 0 20 0 19 0 253321417 9855975424 38059 33554432000 1073741824 1073778376 140736376640576 140736376631712 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 2406244 38059 2249 9 0 2396937 0
[pid=20738/tid=20739] ppid=20736 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) R 20736 20738 20334 0 -1 4202560 2513 0 1 0 84 3 0 0 20 0 19 0 253321417 9855975424 38059 33554432000 1073741824 1073778376 140736376640576 139754155581752 139754025459725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9624976
[startup+1.00035 s]
/proc/loadavg: 0.74 0.20 0.07 3/211 20757
/proc/meminfo: memFree=29853700/32873844 swapFree=7104/7104
[pid=20738] ppid=20736 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/20738/stat : 20738 (java) S 20736 20738 20334 0 -1 4202496 9427 0 1 0 180 4 0 0 20 0 19 0 253321417 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 140736376631712 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20738/statm: 2406244 38060 2250 9 0 2396937 0
[pid=20738/tid=20739] ppid=20736 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/20738/task/20739/stat : 20739 (java) R 20736 20738 20334 0 -1 4202560 2513 0 1 0 94 4 0 0 20 0 19 0 253321417 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139754155581752 139754025553383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20738/tid=20741] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20741/stat : 20741 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139754144652072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20742] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20742/stat : 20742 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139754143599272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20738/tid=20743] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20743/stat : 20743 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753997155368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20738/tid=20744] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20744/stat : 20744 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753996102568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20738/tid=20745] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20745/stat : 20745 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753995049256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20746] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20746/stat : 20746 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753993996456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20738/tid=20747] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20747/stat : 20747 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753992944168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20748] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20748/stat : 20748 (java) S 20736 20738 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253321418 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753991891368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20749] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20749/stat : 20749 (java) S 20736 20738 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253321419 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753979693800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20750] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20750/stat : 20750 (java) S 20736 20738 20334 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253321420 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753978639864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20751] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20751/stat : 20751 (java) S 20736 20738 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253321420 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753977587464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20752] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20752/stat : 20752 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321422 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753976535952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20753] ppid=20736 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/20738/task/20753/stat : 20753 (java) S 20736 20738 20334 0 -1 4202560 3431 0 0 0 42 0 0 0 20 0 19 0 253321422 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753975482552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20738/tid=20754] ppid=20736 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/20738/task/20754/stat : 20754 (java) S 20736 20738 20334 0 -1 4202560 2284 0 0 0 41 0 0 0 20 0 19 0 253321422 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753974429752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20738/tid=20755] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20755/stat : 20755 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321422 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753973377656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20738/tid=20756] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20756/stat : 20756 (java) S 20736 20738 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321422 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753972325064 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20738/tid=20757] ppid=20736 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20738/task/20757/stat : 20757 (java) S 20736 20738 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253321482 9855975424 38060 33554432000 1073741824 1073778376 140736376640576 139753971271080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 1.03132
CPU time (s): 1.89371
CPU user time (s): 1.82172
CPU system time (s): 0.071989
CPU usage (%): 183.621
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.82172
system time used= 0.071989
maximum resident set size= 152600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9440
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= 250
involuntary context switches= 18
runsolver used 0.006998 second user time and 0.010998 second system time
The end