runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4243667-1500674968/watcher-4243667-1500674968 -o /tmp/evaluation-result-4243667-1500674968/solver-4243667-1500674968 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500673676-13379 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243667-1500674968.xml
pid=14812
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 2269 0 0 0 0 0 0 0 20 0 10 0 2763718 9028321280 2508 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2204180 2508 1208 1 0 2193091 0
[pid=14815/tid=14816] ppid=14812 vsize=10204016 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) R 14812 14815 9859 0 -1 4202560 994 0 0 0 0 0 0 0 20 0 10 0 2763719 10448912384 2537 33554432000 4194304 4196468 140733110028144 140000055444808 140000037284807 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2537 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2602 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2602 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2602 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2602 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2668 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2668 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2763720 10449768448 2668 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[startup+0.100126 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 4872 0 0 0 9 1 0 0 20 0 20 0 2763718 11162169344 5968 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2725139 5968 2620 1 0 2713552 0
[pid=14815/tid=14816] ppid=14812 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) R 14812 14815 9859 0 -1 4202560 2965 0 0 0 7 1 0 0 20 0 20 0 2763719 11162169344 5968 33554432000 4194304 4196468 140733110028144 140000055441952 140000051225757 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 5968 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.201158 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 7021 0 0 0 24 2 0 0 20 0 20 0 2763718 11162169344 8316 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2725139 8316 2831 1 0 2713552 0
[pid=14815/tid=14816] ppid=14812 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) R 14812 14815 9859 0 -1 4202560 4699 0 0 0 17 1 0 0 20 0 20 0 2763719 11162169344 8316 33554432000 4194304 4196468 140733110028144 140000055400528 140000036376717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 8316 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300866 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=10900556 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 8455 0 0 0 43 3 0 0 20 0 20 0 2763718 11162169344 10882 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2725139 10882 2992 1 0 2713552 0
[pid=14815/tid=14816] ppid=14812 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) R 14812 14815 9859 0 -1 4202560 5282 0 0 0 26 2 0 0 20 0 20 0 2763719 11162169344 10882 33554432000 4194304 4196468 140733110028144 140000055430576 140000035284318 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2763720 11162169344 10882 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10900556
[startup+0.700644 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=10967196 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 13017 0 0 0 200 5 0 0 20 0 21 0 2763718 11230408704 31772 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2741799 31772 3089 1 0 2730193 0
[pid=14815/tid=14816] ppid=14812 vsize=10967196 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) R 14812 14815 9859 0 -1 4202560 5684 0 0 0 65 3 0 0 20 0 21 0 2763719 11230408704 31772 33554432000 4194304 4196468 140733110028144 140000055442112 139999643204975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31772 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10967196
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14815 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800807 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=10967196 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 13093 0 0 0 242 5 0 0 20 0 21 0 2763718 11230408704 31881 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2741799 31881 3091 1 0 2730193 0
[pid=14815/tid=14816] ppid=14812 vsize=10967196 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) R 14812 14815 9859 0 -1 4202560 5686 0 0 0 75 3 0 0 20 0 21 0 2763719 11230408704 31881 33554432000 4194304 4196468 140733110028144 140000055440248 139999647206940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11230408704 31881 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 10967196
[startup+1.00046 s]
/proc/loadavg: 12.46 12.11 8.73 3/265 14815
/proc/meminfo: memFree=23524176/32770624 swapFree=5888/208908
[pid=14815] ppid=14812 vsize=11100324 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/14815/stat : 14815 (java) S 14812 14815 9859 0 -1 1077944320 13442 0 0 0 255 5 0 0 20 0 21 0 2763718 11366731776 32699 33554432000 4194304 4196468 140733110028144 140733110010688 140000051203831 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
/proc/14815/statm: 2775081 32699 3096 1 0 2763475 0
[pid=14815/tid=14816] ppid=14812 vsize=11100324 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14816/stat : 14816 (java) S 14812 14815 9859 0 -1 1077944384 5695 0 0 0 76 3 0 0 20 0 21 0 2763719 11366731776 32699 33554432000 4194304 4196468 140733110028144 140000055444512 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14817] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14817/stat : 14817 (java) S 14812 14815 9859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999977277712 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14818] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14818/stat : 14818 (java) S 14812 14815 9859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999976225168 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14819] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14819/stat : 14819 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999975172624 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14820] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14820/stat : 14820 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999974120080 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14821] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14821/stat : 14821 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999973067536 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14822] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14822/stat : 14822 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999972014992 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14823] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14823/stat : 14823 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999970962448 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
[pid=14815/tid=14824] ppid=14812 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14815/task/14824/stat : 14824 (java) S 14812 14815 9859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2763720 11366731776 32699 33554432000 4194304 4196468 140733110028144 139999969909904 140000051214037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33071104 140733110035627 140733110035780 140733110035780 140733110038479 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 11100324
Child status: 0
Real time (s): 1.03119
CPU time (s): 2.63643
CPU user time (s): 2.56761
CPU system time (s): 0.06882
CPU usage (%): 255.668
Max. virtual memory (cumulated for all children) (KiB): 11100324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.56761
system time used= 0.06882
maximum resident set size= 133444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1738
involuntary context switches= 183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019348 second user time and 0.023388 second system time
The end