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-3736459-1338717125/watcher-3736459-1338717125 -o /tmp/evaluation-result-3736459-1338717125/solver-3736459-1338717125 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736459-1338717125.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: 3.84 3.81 3.57 3/197 13736
/proc/meminfo: memFree=24037060/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/13736/stat : 13736 (java) R 13734 13736 12644 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 337837972 23793664 724 33554432000 1073741824 1073778376 140735754575072 140735754564136 139780704627531 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 5809 738 545 9 0 128 0
[startup+0.019852 s]
/proc/loadavg: 3.84 3.81 3.57 3/197 13736
/proc/meminfo: memFree=24037060/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=10510056 CPUtime=0 cores=0,2,4,6
/proc/13736/stat : 13736 (java) S 13734 13736 12644 0 -1 4202496 2626 0 1 0 0 0 0 0 20 0 2 0 337837972 10762297344 8951 33554432000 1073741824 1073778376 140735754575072 140735754566208 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 2627514 8951 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056
[startup+0.1002 s]
/proc/loadavg: 3.84 3.81 3.57 3/197 13736
/proc/meminfo: memFree=24037060/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/13736/stat : 13736 (java) S 13734 13736 12644 0 -1 4202496 4775 0 1 0 8 2 0 0 20 0 18 0 337837972 11864465408 13645 33554432000 1073741824 1073778376 140735754575072 140735754566208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 2896598 13645 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300155 s]
/proc/loadavg: 3.84 3.81 3.57 3/197 13736
/proc/meminfo: memFree=24037060/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/13736/stat : 13736 (java) S 13734 13736 12644 0 -1 4202496 8287 0 1 0 66 2 0 0 20 0 22 0 337837972 12137111552 17536 33554432000 1073741824 1073778376 140735754575072 140735754566208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 2963162 17536 2217 9 0 2953849 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11852648
[startup+0.700144 s]
/proc/loadavg: 3.84 3.81 3.57 3/197 13736
/proc/meminfo: memFree=24037060/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/13736/stat : 13736 (java) S 13734 13736 12644 0 -1 4202496 12966 0 1 0 125 6 0 0 20 0 22 0 337837972 12137111552 23224 33554432000 1073741824 1073778376 140735754575072 140735754566208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 2963162 23224 2236 9 0 2953849 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 11852648
[startup+1.50072 s]
/proc/loadavg: 4.01 3.84 3.58 5/216 13761
/proc/meminfo: memFree=23887468/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=11852648 CPUtime=2.97 cores=0,2,4,6
/proc/13736/stat : 13736 (java) S 13734 13736 12644 0 -1 4202496 24801 0 1 0 287 10 0 0 20 0 18 0 337837972 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 140735754566208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 2963162 41350 2274 9 0 2953849 0
[pid=13736/tid=13737] ppid=13734 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/13736/task/13737/stat : 13737 (java) S 13734 13736 12644 0 -1 4202560 2848 0 1 0 12 2 0 0 20 0 18 0 337837972 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780696601752 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13739] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13739/stat : 13739 (java) S 13734 13736 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780651355176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13740] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13740/stat : 13740 (java) S 13734 13736 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780532726696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13736/tid=13741] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13741/stat : 13741 (java) S 13734 13736 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780531673896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13742] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13742/stat : 13742 (java) S 13734 13736 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780530621096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13743] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13743/stat : 13743 (java) S 13734 13736 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780529568296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13744] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13744/stat : 13744 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780528515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13736/tid=13745] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13745/stat : 13745 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780527462696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13746] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13746/stat : 13746 (java) S 13734 13736 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780526409896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13747] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13747/stat : 13747 (java) S 13734 13736 12644 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 18 0 337837975 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780044082152 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13748] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13748/stat : 13748 (java) S 13734 13736 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 337837975 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780043028216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13749] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13749/stat : 13749 (java) S 13734 13736 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 337837975 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780041975304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13750] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13750/stat : 13750 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780040923792 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13751] ppid=13734 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/13736/task/13751/stat : 13751 (java) S 13734 13736 12644 0 -1 4202560 8508 0 0 0 80 2 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780039870904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13752] ppid=13734 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/13736/task/13752/stat : 13752 (java) S 13734 13736 12644 0 -1 4202560 12008 0 0 0 96 3 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780038818104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13736/tid=13753] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13753/stat : 13753 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780037765496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13736/tid=13754] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13754/stat : 13754 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780036712904 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.60082 s]
/proc/loadavg: 4.01 3.84 3.58 5/216 13761
/proc/meminfo: memFree=23887468/32873648 swapFree=6864/6864
[pid=13736] ppid=13734 vsize=11852648 CPUtime=2.97 cores=0,2,4,6
/proc/13736/stat : 13736 (java) S 13734 13736 12644 0 -1 4202496 24801 0 1 0 287 10 0 0 20 0 18 0 337837972 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 140735754566208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13736/statm: 2963162 41350 2274 9 0 2953849 0
[pid=13736/tid=13737] ppid=13734 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/13736/task/13737/stat : 13737 (java) S 13734 13736 12644 0 -1 4202560 2848 0 1 0 12 2 0 0 20 0 18 0 337837972 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780696601752 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13739] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13739/stat : 13739 (java) S 13734 13736 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780651355176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13740] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13740/stat : 13740 (java) S 13734 13736 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780532726696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13736/tid=13741] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13741/stat : 13741 (java) S 13734 13736 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780531673896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13742] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13742/stat : 13742 (java) S 13734 13736 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780530621096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13743] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13743/stat : 13743 (java) S 13734 13736 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780529568296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13736/tid=13744] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13744/stat : 13744 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780528515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13736/tid=13745] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13745/stat : 13745 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780527462696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13746] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13746/stat : 13746 (java) S 13734 13736 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 337837974 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780526409896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13747] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13747/stat : 13747 (java) S 13734 13736 12644 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 18 0 337837975 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780044082152 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13748] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13748/stat : 13748 (java) S 13734 13736 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 337837975 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780043028216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13749] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13749/stat : 13749 (java) S 13734 13736 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 337837975 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780041975304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13750] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13750/stat : 13750 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780040923792 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13751] ppid=13734 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/13736/task/13751/stat : 13751 (java) S 13734 13736 12644 0 -1 4202560 8508 0 0 0 80 2 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780039870904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13736/tid=13752] ppid=13734 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/13736/task/13752/stat : 13752 (java) S 13734 13736 12644 0 -1 4202560 12008 0 0 0 96 3 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780038818104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13736/tid=13753] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13753/stat : 13753 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780037765496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13736/tid=13754] ppid=13734 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13736/task/13754/stat : 13754 (java) S 13734 13736 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337837978 12137111552 41350 33554432000 1073741824 1073778376 140735754575072 139780036712904 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.68836
CPU time (s): 3.01254
CPU user time (s): 2.86056
CPU system time (s): 0.151976
CPU usage (%): 178.43
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.86056
system time used= 0.151976
maximum resident set size= 167288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24810
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= 335
involuntary context switches= 99
runsolver used 0.010998 second user time and 0.014997 second system time
The end