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-3687477-1337871931/watcher-3687477-1337871931 -o /tmp/evaluation-result-3687477-1337871931/solver-3687477-1337871931 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687477-1337871931.opb
running on 4 cores: 0,2,4,6
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.82 0.22 0.07 3/192 23750
/proc/meminfo: memFree=29697888/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/23750/stat : 23750 (java) R 23748 23750 23289 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 253318601 23793664 725 33554432000 1073741824 1073778376 140737425642176 140737425631240 139779081569130 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 5809 738 546 9 0 128 0
[startup+0.00996193 s]
/proc/loadavg: 0.82 0.22 0.07 3/192 23750
/proc/meminfo: memFree=29697888/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/23750/stat : 23750 (java) S 23748 23750 23289 0 -1 4202496 1428 0 1 0 0 0 0 0 20 0 2 0 253318601 105127936 1109 33554432000 1073741824 1073778376 140737425642176 140737425633312 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 25666 1110 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.100272 s]
/proc/loadavg: 0.82 0.22 0.07 3/192 23750
/proc/meminfo: memFree=29697888/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/23750/stat : 23750 (java) S 23748 23750 23289 0 -1 4202496 4450 0 1 0 10 1 0 0 20 0 18 0 253318601 9787813888 6129 33554432000 1073741824 1073778376 140737425642176 140737425633312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 2389603 6129 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300161 s]
/proc/loadavg: 0.82 0.22 0.07 3/192 23750
/proc/meminfo: memFree=29697888/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=9558412 CPUtime=0.53 cores=0,2,4,6
/proc/23750/stat : 23750 (java) S 23748 23750 23289 0 -1 4202496 5965 0 1 0 51 2 0 0 20 0 18 0 253318601 9787813888 9061 33554432000 1073741824 1073778376 140737425642176 140737425633312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 2389603 9070 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412
[startup+0.700256 s]
/proc/loadavg: 0.82 0.22 0.07 3/192 23750
/proc/meminfo: memFree=29697888/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=9624976 CPUtime=1.34 cores=0,2,4,6
/proc/23750/stat : 23750 (java) S 23748 23750 23289 0 -1 4202496 9835 0 1 0 131 3 0 0 20 0 19 0 253318601 9855975424 11827 33554432000 1073741824 1073778376 140737425642176 140737425633312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 2406244 11827 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.1067 s]
/proc/loadavg: 1.00 0.26 0.09 3/211 23769
/proc/meminfo: memFree=29650780/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=9624976 CPUtime=1.82 cores=0,2,4,6
/proc/23750/stat : 23750 (java) S 23748 23750 23289 0 -1 4202496 10018 0 1 0 179 3 0 0 20 0 19 0 253318601 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 140737425633312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 2406244 13904 2278 9 0 2396937 0
[pid=23750/tid=23752] ppid=23748 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/23750/task/23752/stat : 23752 (java) R 23748 23750 23289 0 -1 4202560 2470 0 1 0 105 2 0 0 20 0 19 0 253318602 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779073560984 139778922794729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23750/tid=23753] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23753/stat : 23753 (java) S 23748 23750 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779046013224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23754] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23754/stat : 23754 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779044960424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23755] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23755/stat : 23755 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779043908136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23756] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23756/stat : 23756 (java) S 23748 23750 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779042855336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23750/tid=23757] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23757/stat : 23757 (java) S 23748 23750 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779041803048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23758] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23758/stat : 23758 (java) S 23748 23750 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779040750248 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23759] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23759/stat : 23759 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778911153192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23750/tid=23760] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23760/stat : 23760 (java) S 23748 23750 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778910100392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23761] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23761/stat : 23761 (java) S 23748 23750 23289 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253318604 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778427152616 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23762] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23762/stat : 23762 (java) S 23748 23750 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318604 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778426098680 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23763] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23763/stat : 23763 (java) S 23748 23750 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318604 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778425046280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23764] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23764/stat : 23764 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778423994768 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23765] ppid=23748 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23750/task/23765/stat : 23765 (java) S 23748 23750 23289 0 -1 4202560 3017 0 0 0 37 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778422942392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23766] ppid=23748 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23750/task/23766/stat : 23766 (java) S 23748 23750 23289 0 -1 4202560 3287 0 0 0 31 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778421889592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23767] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23767/stat : 23767 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778420837496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23768] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23768/stat : 23768 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778419784904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23769] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23769/stat : 23769 (java) S 23748 23750 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253318635 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778418729896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9624976
[startup+1.30064 s]
/proc/loadavg: 1.00 0.26 0.09 3/211 23769
/proc/meminfo: memFree=29650780/32873852 swapFree=7616/7616
[pid=23750] ppid=23748 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23750/stat : 23750 (java) S 23748 23750 23289 0 -1 4202496 10018 0 1 0 200 3 0 0 20 0 19 0 253318601 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 140737425633312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23750/statm: 2406244 13904 2278 9 0 2396937 0
[pid=23750/tid=23752] ppid=23748 vsize=9624976 CPUtime=1.27 cores=0,2,4,6
/proc/23750/task/23752/stat : 23752 (java) R 23748 23750 23289 0 -1 4202560 2470 0 1 0 125 2 0 0 20 0 19 0 253318602 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779073560984 139778922747527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23750/tid=23753] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23753/stat : 23753 (java) S 23748 23750 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779046013224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23754] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23754/stat : 23754 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779044960424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23755] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23755/stat : 23755 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779043908136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23756] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23756/stat : 23756 (java) S 23748 23750 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779042855336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23750/tid=23757] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23757/stat : 23757 (java) S 23748 23750 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779041803048 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23758] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23758/stat : 23758 (java) S 23748 23750 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139779040750248 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23759] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23759/stat : 23759 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778911153192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23750/tid=23760] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23760/stat : 23760 (java) S 23748 23750 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318603 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778910100392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23761] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23761/stat : 23761 (java) S 23748 23750 23289 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253318604 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778427152616 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23762] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23762/stat : 23762 (java) S 23748 23750 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318604 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778426098680 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23763] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23763/stat : 23763 (java) S 23748 23750 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318604 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778425046280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23764] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23764/stat : 23764 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778423994768 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23750/tid=23765] ppid=23748 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23750/task/23765/stat : 23765 (java) S 23748 23750 23289 0 -1 4202560 3017 0 0 0 39 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778422942392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23766] ppid=23748 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23750/task/23766/stat : 23766 (java) S 23748 23750 23289 0 -1 4202560 3287 0 0 0 31 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778421889592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23767] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23767/stat : 23767 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778420837496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23750/tid=23768] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23768/stat : 23768 (java) S 23748 23750 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318606 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778419784904 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23750/tid=23769] ppid=23748 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23750/task/23769/stat : 23769 (java) S 23748 23750 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253318635 9855975424 13904 33554432000 1073741824 1073778376 140737425642176 139778418729896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 1.32282
CPU time (s): 2.06469
CPU user time (s): 2.00269
CPU system time (s): 0.06199
CPU usage (%): 156.082
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.0027
system time used= 0.06199
maximum resident set size= 55772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10041
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= 314
involuntary context switches= 31
runsolver used 0.000999 second user time and 0.004999 second system time
The end