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-4249793-1500767292/watcher-4249793-1500767292 -o /tmp/evaluation-result-4249793-1500767292/solver-4249793-1500767292 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500753143-27513 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1422611593 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249793-1500767292.xml
pid=29728
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: 1.88 2.00 2.00 2/261 29731
/proc/meminfo: memFree=29678284/32770624 swapFree=5932/348556
[pid=29731] ppid=29728 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 2162 0 0 0 0 0 0 0 20 0 2 0 11999312 10889764864 1856 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 2658634 1922 1188 1 0 2647545 0
[pid=29731/tid=29732] ppid=29728 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 907 0 0 0 0 0 0 0 20 0 2 0 11999313 10889764864 1922 33554432000 4194304 4196468 140731418482304 140083958782368 140083935668640 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=10635564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) R 29728 29731 27482 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 11999314 10890817536 1922 33554432000 4194304 4196468 140731418482304 140083958782368 140083947280129 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[startup+0.100126 s]
/proc/loadavg: 1.88 2.00 2.00 2/261 29731
/proc/meminfo: memFree=29678284/32770624 swapFree=5932/348556
[pid=29731] ppid=29728 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 5240 0 0 0 8 1 0 0 20 0 20 0 11999312 13582725120 5816 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3316095 5816 3028 1 0 3303815 0
[pid=29731/tid=29732] ppid=29728 vsize=13264380 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 3329 0 0 0 7 0 0 0 20 0 20 0 11999313 13582725120 5816 33554432000 4194304 4196468 140731418482304 140083958776800 140083843689445 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999314 13582725120 5816 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200432 s]
/proc/loadavg: 1.88 2.00 2.00 2/261 29731
/proc/meminfo: memFree=29678284/32770624 swapFree=5932/348556
[pid=29731] ppid=29728 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 8767 0 0 0 24 2 0 0 20 0 20 0 11999312 13582245888 8696 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3315978 8696 3535 1 0 3303698 0
[pid=29731/tid=29732] ppid=29728 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 6463 0 0 0 16 1 0 0 20 0 20 0 11999313 13582245888 8696 33554432000 4194304 4196468 140731418482304 140083958762208 140083954562205 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999314 13582245888 8696 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300358 s]
/proc/loadavg: 1.88 2.00 2.00 2/261 29731
/proc/meminfo: memFree=29678284/32770624 swapFree=5932/348556
[pid=29731] ppid=29728 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 9823 0 0 0 39 3 0 0 20 0 20 0 11999312 13582245888 10602 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3315978 10602 3640 1 0 3303698 0
[pid=29731/tid=29732] ppid=29728 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 7201 0 0 0 25 2 0 0 20 0 20 0 11999313 13582245888 10602 33554432000 4194304 4196468 140731418482304 140083958768032 140083938620766 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999314 13582245888 10602 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700287 s]
/proc/loadavg: 1.88 2.00 2.00 2/261 29731
/proc/meminfo: memFree=29678284/32770624 swapFree=5932/348556
[pid=29731] ppid=29728 vsize=13265980 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 13403 0 0 0 130 5 0 0 20 0 20 0 11999312 13584363520 18773 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3316495 18773 3762 1 0 3304210 0
[pid=29731/tid=29732] ppid=29728 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 8596 0 0 0 64 3 0 0 20 0 20 0 11999313 13584363520 18773 33554432000 4194304 4196468 140731418482304 140083958775584 140083954552214 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999314 13584363520 18773 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13265980
[startup+1.50104 s]
/proc/loadavg: 1.81 1.98 1.99 6/281 29751
/proc/meminfo: memFree=29529952/32770624 swapFree=5932/348556
[pid=29731] ppid=29728 vsize=13270076 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 25178 0 0 0 419 15 0 0 20 0 20 0 11999312 13588557824 56293 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3317519 56293 3801 1 0 3305234 0
[pid=29731/tid=29732] ppid=29728 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 11062 0 0 0 140 5 0 0 20 0 20 0 11999313 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083958776120 140083597757109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29734] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29734/stat : 29734 (java) S 29728 29731 27482 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083552824208 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29736] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29736/stat : 29736 (java) S 29728 29731 27482 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083551771664 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29737] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29737/stat : 29737 (java) S 29728 29731 27482 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083550719120 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29738] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29738/stat : 29738 (java) S 29728 29731 27482 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083549665552 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29739] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29739/stat : 29739 (java) S 29728 29731 27482 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083548613008 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29740] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29740/stat : 29740 (java) S 29728 29731 27482 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083547560464 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29741] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29741/stat : 29741 (java) S 29728 29731 27482 0 -1 1077944384 239 0 0 0 0 1 0 0 20 0 20 0 11999314 13588557824 56293 33554432000 4194304 4196468 140731418482304 140083546507920 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29742] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29742/stat : 29742 (java) S 29728 29731 27482 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 11999316 13588557824 56293 33554432000 4194304 4196468 140731418482304 140082620054000 140083954551426 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29743] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29743/stat : 29743 (java) S 29728 29731 27482 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 56293 33554432000 4194304 4196468 140731418482304 140082619000288 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29744] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29744/stat : 29744 (java) S 29728 29731 27482 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 56293 33554432000 4194304 4196468 140731418482304 140082617947648 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29745] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29745/stat : 29745 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 56293 33554432000 4194304 4196468 140731418482304 140082616896208 140083954558875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29746] ppid=29728 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29746/stat : 29746 (java) R 29728 29731 27482 0 -1 4202560 3284 0 0 0 69 1 0 0 20 0 20 0 11999321 13588557824 56299 33554432000 4194304 4196468 140731418482304 140082615828864 140083936059870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29747] ppid=29728 vsize=13270076 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29747/stat : 29747 (java) R 29728 29731 27482 0 -1 4202560 2608 0 0 0 77 0 0 0 20 0 20 0 11999321 13588557824 56299 33554432000 4194304 4196468 140731418482304 140082614771272 140083938443574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29748] ppid=29728 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29748/stat : 29748 (java) R 29728 29731 27482 0 -1 4202560 3045 0 0 0 73 0 0 0 20 0 20 0 11999321 13588557824 56299 33554432000 4194304 4196468 140731418482304 140082613724256 140083947640126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29749] ppid=29728 vsize=13270076 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29749/stat : 29749 (java) S 29728 29731 27482 0 -1 1077944384 3175 0 0 0 51 1 0 0 20 0 20 0 11999321 13588557824 56299 33554432000 4194304 4196468 140731418482304 140082612685168 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29750] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29750/stat : 29750 (java) S 29728 29731 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 56299 33554432000 4194304 4196468 140731418482304 140082611632864 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29751] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29751/stat : 29751 (java) S 29728 29731 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11999322 13588557824 56299 33554432000 4194304 4196468 140731418482304 140082610580400 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 13270076
[startup+3.10074 s]
/proc/loadavg: 1.81 1.98 1.99 3/281 29751
/proc/meminfo: memFree=29449172/32770624 swapFree=5932/348576
[pid=29731] ppid=29728 vsize=13270076 CPUtime=6.79 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 27944 0 0 0 657 22 0 0 20 0 20 0 11999312 13588557824 73916 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3317519 73916 3809 1 0 3305234 0
[pid=29731/tid=29732] ppid=29728 vsize=13270076 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 11499 0 0 0 297 6 0 0 20 0 20 0 11999313 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083958770064 140083597682166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29734] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29734/stat : 29734 (java) S 29728 29731 27482 0 -1 1077944384 59 0 0 0 0 1 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083552824208 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29736] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29736/stat : 29736 (java) S 29728 29731 27482 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083551771664 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29737] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29737/stat : 29737 (java) S 29728 29731 27482 0 -1 1077944384 574 0 0 0 0 1 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083550719120 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29738] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29738/stat : 29738 (java) S 29728 29731 27482 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083549665552 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29739] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29739/stat : 29739 (java) S 29728 29731 27482 0 -1 1077944384 51 0 0 0 0 1 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083548613008 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29740] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29740/stat : 29740 (java) S 29728 29731 27482 0 -1 1077944384 42 0 0 0 0 1 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083547560464 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29741] ppid=29728 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29741/stat : 29741 (java) S 29728 29731 27482 0 -1 1077944384 314 0 0 0 0 2 0 0 20 0 20 0 11999314 13588557824 73916 33554432000 4194304 4196468 140731418482304 140083546507920 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29742] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29742/stat : 29742 (java) S 29728 29731 27482 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 20 0 11999316 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082620054000 140083954551426 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29743] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29743/stat : 29743 (java) S 29728 29731 27482 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082619000288 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29744] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29744/stat : 29744 (java) S 29728 29731 27482 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082617947648 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29745] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29745/stat : 29745 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082616896208 140083954558875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29746] ppid=29728 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29746/stat : 29746 (java) S 29728 29731 27482 0 -1 1077944384 3497 0 0 0 95 1 0 0 20 0 20 0 11999321 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082615842800 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29747] ppid=29728 vsize=13270076 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29747/stat : 29747 (java) S 29728 29731 27482 0 -1 1077944384 3437 0 0 0 103 0 0 0 20 0 20 0 11999321 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082614790256 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29748] ppid=29728 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29748/stat : 29748 (java) S 29728 29731 27482 0 -1 1077944384 3343 0 0 0 98 0 0 0 20 0 20 0 11999321 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082613737712 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29749] ppid=29728 vsize=13270076 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29749/stat : 29749 (java) S 29728 29731 27482 0 -1 1077944384 3186 0 0 0 53 1 0 0 20 0 20 0 11999321 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082612685168 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29750] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29750/stat : 29750 (java) S 29728 29731 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082611632864 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29751] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29751/stat : 29751 (java) S 29728 29731 27482 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 11999322 13588557824 73916 33554432000 4194304 4196468 140731418482304 140082610580400 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 13270076
[startup+6.30085 s]
/proc/loadavg: 1.81 1.98 1.99 3/281 29751
/proc/meminfo: memFree=29310352/32770624 swapFree=5932/348576
[pid=29731] ppid=29728 vsize=13270076 CPUtime=10.17 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 28438 0 0 0 982 35 0 0 20 0 20 0 11999312 13588557824 117074 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3317519 117074 3811 1 0 3305234 0
[pid=29731/tid=29732] ppid=29728 vsize=13270076 CPUtime=6.2 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 11664 0 0 0 610 10 0 0 20 0 20 0 11999313 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083958775504 140083597820542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29734] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29734/stat : 29734 (java) S 29728 29731 27482 0 -1 1077944384 74 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083552824208 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29736] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29736/stat : 29736 (java) S 29728 29731 27482 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083551771664 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29737] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29737/stat : 29737 (java) S 29728 29731 27482 0 -1 1077944384 588 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083550719120 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29738] ppid=29728 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29738/stat : 29738 (java) S 29728 29731 27482 0 -1 1077944384 95 0 0 0 3 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083549665552 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29739] ppid=29728 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29739/stat : 29739 (java) S 29728 29731 27482 0 -1 1077944384 68 0 0 0 1 3 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083548613008 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29740] ppid=29728 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29740/stat : 29740 (java) S 29728 29731 27482 0 -1 1077944384 58 0 0 0 2 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083547560464 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29741] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29741/stat : 29741 (java) S 29728 29731 27482 0 -1 1077944384 320 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 117074 33554432000 4194304 4196468 140731418482304 140083546507920 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29742] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29742/stat : 29742 (java) S 29728 29731 27482 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 11999316 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082620054000 140083954551426 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29743] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29743/stat : 29743 (java) S 29728 29731 27482 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082619000288 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29744] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29744/stat : 29744 (java) S 29728 29731 27482 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082617947648 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29745] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29745/stat : 29745 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082616896208 140083954558875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29746] ppid=29728 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29746/stat : 29746 (java) S 29728 29731 27482 0 -1 1077944384 3497 0 0 0 95 1 0 0 20 0 20 0 11999321 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082615842800 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29747] ppid=29728 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29747/stat : 29747 (java) S 29728 29731 27482 0 -1 1077944384 3449 0 0 0 106 0 0 0 20 0 20 0 11999321 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082614790256 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29748] ppid=29728 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29748/stat : 29748 (java) S 29728 29731 27482 0 -1 1077944384 3343 0 0 0 98 0 0 0 20 0 20 0 11999321 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082613737712 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29749] ppid=29728 vsize=13270076 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29749/stat : 29749 (java) S 29728 29731 27482 0 -1 1077944384 3245 0 0 0 54 1 0 0 20 0 20 0 11999321 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082612685168 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29750] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29750/stat : 29750 (java) S 29728 29731 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082611632864 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29751] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29751/stat : 29751 (java) S 29728 29731 27482 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 11999322 13588557824 117074 33554432000 4194304 4196468 140731418482304 140082610580400 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29731 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.41626 s]
/proc/loadavg: 1.81 1.98 1.99 3/281 29751
/proc/meminfo: memFree=29310352/32770624 swapFree=5932/348576
[pid=29731] ppid=29728 vsize=13270076 CPUtime=10.29 cores=0,2,4,6,8,10,12,14
/proc/29731/stat : 29731 (java) S 29728 29731 27482 0 -1 1077944320 28449 0 0 0 994 35 0 0 20 0 20 0 11999312 13588557824 122706 33554432000 4194304 4196468 140731418482304 140731418464848 140083954540279 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
/proc/29731/statm: 3317519 122706 3811 1 0 3305234 0
[pid=29731/tid=29732] ppid=29728 vsize=13270076 CPUtime=6.31 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29732/stat : 29732 (java) R 29728 29731 27482 0 -1 4202560 11675 0 0 0 621 10 0 0 20 0 20 0 11999313 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083958775504 140083598559476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29733] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29733/stat : 29733 (java) S 29728 29731 27482 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083553876752 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29734] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29734/stat : 29734 (java) S 29728 29731 27482 0 -1 1077944384 74 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083552824208 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29736] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29736/stat : 29736 (java) S 29728 29731 27482 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083551771664 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29737] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29737/stat : 29737 (java) S 29728 29731 27482 0 -1 1077944384 588 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083550719120 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29738] ppid=29728 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29738/stat : 29738 (java) S 29728 29731 27482 0 -1 1077944384 95 0 0 0 3 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083549665552 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29739] ppid=29728 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29739/stat : 29739 (java) S 29728 29731 27482 0 -1 1077944384 68 0 0 0 1 3 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083548613008 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29740] ppid=29728 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29740/stat : 29740 (java) S 29728 29731 27482 0 -1 1077944384 58 0 0 0 2 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083547560464 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29741] ppid=29728 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29741/stat : 29741 (java) S 29728 29731 27482 0 -1 1077944384 320 0 0 0 1 2 0 0 20 0 20 0 11999314 13588557824 122706 33554432000 4194304 4196468 140731418482304 140083546507920 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29742] ppid=29728 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29742/stat : 29742 (java) S 29728 29731 27482 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 11999316 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082620054000 140083954551426 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29743] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29743/stat : 29743 (java) S 29728 29731 27482 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082619000288 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29744] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29744/stat : 29744 (java) S 29728 29731 27482 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 11999317 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082617947648 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29745] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29745/stat : 29745 (java) S 29728 29731 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082616896208 140083954558875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29746] ppid=29728 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29746/stat : 29746 (java) S 29728 29731 27482 0 -1 1077944384 3497 0 0 0 95 1 0 0 20 0 20 0 11999321 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082615842800 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29747] ppid=29728 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29747/stat : 29747 (java) S 29728 29731 27482 0 -1 1077944384 3449 0 0 0 106 0 0 0 20 0 20 0 11999321 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082614790256 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29748] ppid=29728 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29748/stat : 29748 (java) S 29728 29731 27482 0 -1 1077944384 3343 0 0 0 98 0 0 0 20 0 20 0 11999321 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082613737712 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29749] ppid=29728 vsize=13270076 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29749/stat : 29749 (java) S 29728 29731 27482 0 -1 1077944384 3245 0 0 0 54 1 0 0 20 0 20 0 11999321 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082612685168 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29750] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29750/stat : 29750 (java) S 29728 29731 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11999321 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082611632864 140083954550485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
[pid=29731/tid=29751] ppid=29728 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29731/task/29751/stat : 29751 (java) S 29728 29731 27482 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 11999322 13588557824 122706 33554432000 4194304 4196468 140731418482304 140082610580400 140083954551426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39436288 140731418489993 140731418490180 140731418490180 140731418492879 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 6.47984
CPU time (s): 10.3577
CPU user time (s): 9.99241
CPU system time (s): 0.365244
CPU usage (%): 159.844
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.99241
system time used= 0.365244
maximum resident set size= 503676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3978
involuntary context switches= 703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049608 second user time and 0.05891 second system time
The end