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-3689229-1337889893/watcher-3689229-1337889893 -o /tmp/evaluation-result-3689229-1337889893/solver-3689229-1337889893 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689229-1337889893.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: 2.21 2.39 2.93 3/173 29304
/proc/meminfo: memFree=28773244/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/29304/stat : 29304 (java) R 29302 29304 24080 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 255113644 23793664 711 33554432000 1073741824 1073778376 140736791172384 140736791161448 209874630736 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 5809 712 526 9 0 128 0
[startup+0.0775699 s]
/proc/loadavg: 2.21 2.39 2.93 3/173 29304
/proc/meminfo: memFree=28773244/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29304/stat : 29304 (java) S 29302 29304 24080 0 -1 4202496 3921 0 1 0 6 1 0 0 20 0 18 0 255113644 9787813888 5112 33554432000 1073741824 1073778376 140736791172384 140736791163520 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 2389603 5113 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100308 s]
/proc/loadavg: 2.21 2.39 2.93 3/173 29304
/proc/meminfo: memFree=28773244/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/29304/stat : 29304 (java) S 29302 29304 24080 0 -1 4202496 4453 0 1 0 9 1 0 0 20 0 18 0 255113644 9787813888 6109 33554432000 1073741824 1073778376 140736791172384 140736791163520 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 2389603 6109 2137 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300189 s]
/proc/loadavg: 2.21 2.39 2.93 3/173 29304
/proc/meminfo: memFree=28773244/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/29304/stat : 29304 (java) S 29302 29304 24080 0 -1 4202496 6273 0 1 0 49 2 0 0 20 0 18 0 255113644 9787813888 9329 33554432000 1073741824 1073778376 140736791172384 140736791163520 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 2389603 9329 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412
[startup+0.700184 s]
/proc/loadavg: 2.21 2.39 2.93 3/173 29304
/proc/meminfo: memFree=28773244/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=9558412 CPUtime=1.51 cores=1,3,5,7
/proc/29304/stat : 29304 (java) S 29302 29304 24080 0 -1 4202496 11960 0 1 0 147 4 0 0 20 0 18 0 255113644 9787813888 32215 33554432000 1073741824 1073778376 140736791172384 140736791163520 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 2389603 32215 2239 9 0 2380296 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9558412
[startup+1.50082 s]
/proc/loadavg: 2.21 2.39 2.93 3/212 29371
/proc/meminfo: memFree=28572564/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=9624976 CPUtime=2.71 cores=1,3,5,7
/proc/29304/stat : 29304 (java) S 29302 29304 24080 0 -1 4202496 12709 0 1 0 266 5 0 0 20 0 19 0 255113644 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 140736791163520 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 2406244 31949 2251 9 0 2396937 0
[pid=29304/tid=29306] ppid=29302 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/29304/task/29306/stat : 29306 (java) R 29302 29304 24080 0 -1 4202560 2495 0 1 0 145 3 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139709125890472 139708995498439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29307/stat : 29307 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139709114952744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29308] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29308/stat : 29308 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139709113899944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29304/tid=29309] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29309/stat : 29309 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708967107368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29304/tid=29310] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29310/stat : 29310 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708966054568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29311] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29311/stat : 29311 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708965001768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29312] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29312/stat : 29312 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708963948968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29313] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29313/stat : 29313 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708962896168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29314] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29314/stat : 29314 (java) S 29302 29304 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708961843368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29315] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29315/stat : 29315 (java) S 29302 29304 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255113646 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708949646312 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29316] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29316/stat : 29316 (java) S 29302 29304 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255113647 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708948592376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29317] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29317/stat : 29317 (java) S 29302 29304 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255113647 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708947539464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29318] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29318/stat : 29318 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113649 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708946487952 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29319] ppid=29302 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29304/task/29319/stat : 29319 (java) S 29302 29304 24080 0 -1 4202560 3031 0 0 0 58 0 0 0 20 0 19 0 255113649 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708945435064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29320] ppid=29302 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/29304/task/29320/stat : 29320 (java) S 29302 29304 24080 0 -1 4202560 5983 0 0 0 60 1 0 0 20 0 19 0 255113649 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708944382264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29304/tid=29321] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29321/stat : 29321 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113649 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708943329656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29304/tid=29322] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29322/stat : 29322 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113649 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708942277064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29304/tid=29371] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29371/stat : 29371 (java) S 29302 29304 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113716 9855975424 31949 33554432000 1073741824 1073778376 140736791172384 139708941223592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.70068 s]
/proc/loadavg: 2.21 2.39 2.93 3/212 29371
/proc/meminfo: memFree=28572564/32873844 swapFree=7616/7616
[pid=29304] ppid=29302 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/29304/stat : 29304 (java) S 29302 29304 24080 0 -1 4202496 12712 0 1 0 288 5 0 0 20 0 19 0 255113644 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 140736791163520 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29304/statm: 2406244 31952 2254 9 0 2396937 0
[pid=29304/tid=29306] ppid=29302 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29304/task/29306/stat : 29306 (java) R 29302 29304 24080 0 -1 4202560 2495 0 1 0 165 3 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139709125890472 139708995585950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29307/stat : 29307 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139709114952744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29308] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29308/stat : 29308 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139709113899944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29304/tid=29309] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29309/stat : 29309 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708967107368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29304/tid=29310] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29310/stat : 29310 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708966054568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29311] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29311/stat : 29311 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708965001768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29312] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29312/stat : 29312 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708963948968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29313] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29313/stat : 29313 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708962896168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29304/tid=29314] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29314/stat : 29314 (java) S 29302 29304 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255113645 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708961843368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29315] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29315/stat : 29315 (java) S 29302 29304 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255113646 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708949646312 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29316] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29316/stat : 29316 (java) S 29302 29304 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255113647 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708948592376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29317] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29317/stat : 29317 (java) S 29302 29304 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255113647 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708947539464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29318] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29318/stat : 29318 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113649 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708946487952 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29319] ppid=29302 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29304/task/29319/stat : 29319 (java) S 29302 29304 24080 0 -1 4202560 3031 0 0 0 58 0 0 0 20 0 19 0 255113649 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708945435064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29304/tid=29320] ppid=29302 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29304/task/29320/stat : 29320 (java) S 29302 29304 24080 0 -1 4202560 5986 0 0 0 62 1 0 0 20 0 19 0 255113649 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708944382264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29304/tid=29321] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29321/stat : 29321 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113649 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708943329656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29304/tid=29322] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29322/stat : 29322 (java) S 29302 29304 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113649 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708942277064 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29304/tid=29371] ppid=29302 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29304/task/29371/stat : 29371 (java) S 29302 29304 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113716 9855975424 31952 33554432000 1073741824 1073778376 140736791172384 139708941223592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 1.72501
CPU time (s): 2.96355
CPU user time (s): 2.89056
CPU system time (s): 0.072988
CPU usage (%): 171.799
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.89056
system time used= 0.072988
maximum resident set size= 129456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12730
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= 317
involuntary context switches= 24
runsolver used 0.003999 second user time and 0.013997 second system time
The end