runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13607 MiB free)
memory of node 1: 16384 MiB (10519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307675-1534258056/watcher-4307675-1534258056 -o /tmp/evaluation-result-4307675-1534258056/solver-4307675-1534258056 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534258055-17901 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1485356558 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307675-1534258056.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17933, runsolver pid=17926
[startup+0.100205 s]*
/proc/loadavg: 0.00 0.01 0.05 3/190 17934
/proc/meminfo: memFree=24705956/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=10648 memory=596 CPUtime=0 cores=1,3,5,7
/proc/17933/stat : 17933 (java) D 17926 17933 17869 0 -1 1077944320 328 0 0 0 0 0 0 0 20 0 1 0 243368864 10903552 149 33554432000 4194304 4196468 140735722683408 140735722661608 140312477211152 0 0 4096 0 18446744072101797412 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 2662 149 119 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 596 KiB
[startup+0.209382 s]*
/proc/loadavg: 0.00 0.01 0.05 2/192 17936
/proc/meminfo: memFree=24702800/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=109408 memory=5244 CPUtime=0 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 1559 0 0 0 0 0 0 0 20 0 2 0 243368864 112033792 1311 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 27352 1311 981 1 0 16810 0
[pid=17933/tid=17936] ppid=17926 vsize=109440 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 2 0 243368879 112066560 1360 33554432000 4194304 4196468 140735722683408 140312488773008 140312477716081 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5244 KiB
[startup+0.309489 s]*
/proc/loadavg: 0.00 0.01 0.05 2/192 17936
/proc/meminfo: memFree=24702800/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=111596 memory=5608 CPUtime=0 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 1654 0 0 0 0 0 0 0 20 0 2 0 243368864 114274304 1402 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 27899 1402 1062 1 0 16810 0
[pid=17933/tid=17936] ppid=17926 vsize=111596 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) D 17926 17933 17869 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 2 0 243368879 114274304 1402 33554432000 4194304 4196468 140735722683408 140312488773648 140312477211181 0 4 0 16784584 18446744072101797412 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5608 KiB
[startup+0.700515 s]
/proc/loadavg: 0.00 0.01 0.05 3/206 17950
/proc/meminfo: memFree=24684960/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14082736 memory=25224 CPUtime=0.07 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 5720 0 0 0 6 1 0 0 20 0 15 0 243368864 14420721664 6306 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3520684 6306 3101 1 0 3482761 0
[pid=17933/tid=17936] ppid=17926 vsize=14082736 memory=-5587106306044206369 CPUtime=0.06 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 3809 0 0 0 5 1 0 0 20 0 15 0 243368879 14420721664 6306 33554432000 4194304 4196468 140735722683408 140312488757648 140312102140390 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14082736 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14420721664 6306 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14082736 memory=-7357787915995474596 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14420721664 6306 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14082736 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368896 14420721664 6306 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14082736 memory=7453282923545718612 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14420721664 6306 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14082736 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368899 14420721664 6306 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368899 14420721664 6306 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368900 14420721664 6306 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 25224 KiB
[startup+1.50062 s]
/proc/loadavg: 0.00 0.01 0.05 4/218 17962
/proc/meminfo: memFree=24631912/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14084804 memory=84244 CPUtime=0.88 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 16388 0 0 0 83 5 0 0 20 0 15 0 243368864 14422839296 21061 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3521201 21061 3451 1 0 3483273 0
[pid=17933/tid=17936] ppid=17926 vsize=14084804 memory=3617855188631631671 CPUtime=0.62 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 13924 0 0 0 59 3 0 0 20 0 15 0 243368879 14422839296 21061 33554432000 4194304 4196468 140735722683408 140312488767248 140312484543894 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14084804 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14422839296 21061 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14084804 memory=3054156605369050484 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14422839296 21061 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14084804 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368896 14422839296 21061 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14084804 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14422839296 21061 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14084804 memory=139685983248929 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243368899 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14084804 memory=7518026621751088998 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368899 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14084804 memory=7308005615934595664 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368900 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14084804 memory=7301550387178520680 CPUtime=0.04 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) S 17926 17933 17869 0 -1 1077944384 369 0 0 0 4 0 0 0 20 0 15 0 243368917 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311393286384 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14084804 memory=6395206304943 CPUtime=0.06 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) R 17926 17933 17869 0 -1 4202560 351 0 0 0 6 0 0 0 20 0 15 0 243368917 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311392233840 140312465221856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14084804 memory=288230621803970871 CPUtime=0.14 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) R 17926 17933 17869 0 -1 1077944384 361 0 0 0 14 0 0 0 20 0 15 0 243368917 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311391180784 140312484543106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14084804 memory=13845266004445752 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17962/stat : 17962 (java) S 17926 17933 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368928 14422839296 21061 33554432000 4194304 4196468 140735722683408 140311389076528 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 84244 KiB
[startup+3.11051 s]
/proc/loadavg: 0.00 0.01 0.05 7/218 17962
/proc/meminfo: memFree=24485132/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14090948 memory=130860 CPUtime=2.19 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 23388 0 1 0 211 8 0 0 20 0 15 0 243368864 14429130752 32715 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3522737 32715 3535 1 0 3484809 0
[pid=17933/tid=17936] ppid=17926 vsize=14090948 memory=3617855188631631671 CPUtime=1.24 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 18321 0 1 0 118 6 0 0 20 0 15 0 243368879 14429130752 32715 33554432000 4194304 4196468 140735722683408 140312488755808 140312469061805 0 4 0 16800975 0 0 0 -1 5 0 0 107 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14090948 memory=139685983250047 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14429130752 32715 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14090948 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14429130752 32715 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14090948 memory=56 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368896 14429130752 32715 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14090948 memory=-7533522213388100735 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368896 14429130752 32715 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14090948 memory=-9108684669924967205 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14090948 memory=6395206304943 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14090948 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368900 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14090948 memory=13845266004445752 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14090948 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) R 17926 17933 17869 0 -1 4202560 1017 0 0 0 21 0 0 0 20 0 15 0 243368917 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311393267400 140312468924370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14090948 memory=6791534058613427641 CPUtime=0.25 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) R 17926 17933 17869 0 -1 4202560 850 0 0 0 25 0 0 0 20 0 15 0 243368917 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311392219864 140312470212613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14090948 memory=3054156605369050484 CPUtime=0.45 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) R 17926 17933 17869 0 -1 4202560 1801 0 0 0 45 0 0 0 20 0 15 0 243368917 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311391179968 140312484553306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14090948 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14090948 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17962/stat : 17962 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368928 14429130752 32715 33554432000 4194304 4196468 140735722683408 140311389076528 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 130860 KiB
heavy processes:
[startup+6.30065 s]
/proc/loadavg: 0.16 0.05 0.06 4/218 17962
/proc/meminfo: memFree=24258280/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14090948 memory=235240 CPUtime=7.77 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 33861 0 1 0 766 11 0 0 20 0 15 0 243368864 14429130752 58810 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3522737 58810 3580 1 0 3484809 0
[pid=17933/tid=17936] ppid=17926 vsize=14090948 memory=237836 CPUtime=4.38 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 18726 0 1 0 431 7 0 0 20 0 15 0 243368879 14429130752 58810 33554432000 4194304 4196468 140735722683408 140312488770080 140312107517017 0 4 0 16800975 0 0 0 -1 1 0 0 107 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14090948 memory=-2893623298589923098 CPUtime=0.01 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 243368896 14429130752 58810 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14090948 memory=6655300316396793914 CPUtime=0.01 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 243368896 14429130752 58810 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14090948 memory=57 CPUtime=0.02 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 15 0 243368896 14429130752 58810 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14090948 memory=288230377007612191 CPUtime=0.02 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 813 0 0 0 2 0 0 0 20 0 15 0 243368896 14429130752 58810 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14090948 memory=288286675539592409 CPUtime=0.01 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 15 0 243368899 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14090948 memory=154253750471753 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14090948 memory=41641 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 243368900 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14090948 memory=8514726395714810940 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14090948 memory=-8383301583103171957 CPUtime=1.41 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) S 17926 17933 17869 0 -1 1077944384 5742 0 0 0 140 1 0 0 20 0 15 0 243368917 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311393286384 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14090948 memory=237832 CPUtime=1.36 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) S 17926 17933 17869 0 -1 1077944384 4078 0 0 0 135 1 0 0 20 0 15 0 243368917 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311392233840 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14090948 memory=288230377108275491 CPUtime=0.5 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) S 17926 17933 17869 0 -1 1077944384 2416 0 0 0 49 1 0 0 20 0 15 0 243368917 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311391180784 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14090948 memory=15257030327797065 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 58810 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 91228 0 1 0 229356 39 0 0 20 0 15 0 243368879 14429130752 124944 33554432000 4194304 4196468 140735722683408 140312488770288 140312107755703 0 4 0 16800975 0 0 0 -1 1 0 0 107 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14090948 memory=501316 CPUtime=14.75 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 12473 0 0 0 1426 49 0 0 20 0 15 0 243368896 14429130752 124944 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14090948 memory=234103 CPUtime=14.71 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 10136 0 0 0 1413 58 0 0 20 0 15 0 243368896 14429130752 124944 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14090948 memory=502340 CPUtime=14.78 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 11814 0 0 0 1425 53 0 0 20 0 15 0 243368896 14429130752 124944 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14090948 memory=502852 CPUtime=14.75 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 10680 0 0 0 1425 50 0 0 20 0 15 0 243368896 14429130752 124944 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14090948 memory=503880 CPUtime=7.05 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 6104 0 0 0 645 60 0 0 20 0 15 0 243368899 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14090948 memory=498240 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14090948 memory=498580 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 243368900 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14090948 memory=502864 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14090948 memory=499128 CPUtime=1.81 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) S 17926 17933 17869 0 -1 1077944384 10386 0 0 0 179 2 0 0 20 0 15 0 243368917 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311393286384 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14090948 memory=497136 CPUtime=1.49 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) S 17926 17933 17869 0 -1 1077944384 7660 0 0 0 148 1 0 0 20 0 15 0 243368917 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311392233840 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14090948 memory=500288 CPUtime=0.53 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) S 17926 17933 17869 0 -1 1077944384 4181 0 0 0 52 1 0 0 20 0 15 0 243368917 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311391180784 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14090948 memory=501828 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14090948 memory=66040 CPUtime=1.27 cores=1,3,5,7
/proc/17933/task/17962/stat : 17962 (java) S 17926 17933 17869 0 -1 1077944384 946 0 0 0 56 71 0 0 20 0 15 0 243368928 14429130752 124944 33554432000 4194304 4196468 140735722683408 140311389076528 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 2365.21 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 499776 KiB
[startup+2382.3 s]
/proc/loadavg: 1.27 1.23 1.19 4/215 18057
/proc/meminfo: memFree=23863912/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14090948 memory=524048 CPUtime=2426.44 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 173664 0 1 0 242305 339 0 0 20 0 15 0 243368864 14429130752 131012 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3522737 131012 3582 1 0 3484809 0
[pid=17933/tid=17936] ppid=17926 vsize=14090948 memory=524048 CPUtime=2353.26 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 96353 0 1 0 235285 41 0 0 20 0 15 0 243368879 14429130752 131012 33554432000 4194304 4196468 140735722683408 140312488770096 140312107112303 0 4 0 16800975 0 0 0 -1 1 0 0 107 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14090948 memory=524560 CPUtime=15.17 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 12853 0 0 0 1467 50 0 0 20 0 15 0 243368896 14429130752 131012 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14090948 memory=526612 CPUtime=15.15 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 10269 0 0 0 1455 60 0 0 20 0 15 0 243368896 14429130752 131012 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14090948 memory=530716 CPUtime=15.22 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 12350 0 0 0 1468 54 0 0 20 0 15 0 243368896 14429130752 131012 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14090948 memory=470976 CPUtime=15.19 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 10949 0 0 0 1468 51 0 0 20 0 15 0 243368896 14429130752 131012 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14090948 memory=518152 CPUtime=7.21 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 6283 0 0 0 659 62 0 0 20 0 15 0 243368899 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14090948 memory=508384 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 243368900 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14090948 memory=515396 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14090948 memory=509924 CPUtime=1.81 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) S 17926 17933 17869 0 -1 1077944384 10388 0 0 0 179 2 0 0 20 0 15 0 243368917 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311393286384 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14090948 memory=525072 CPUtime=1.49 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) S 17926 17933 17869 0 -1 1077944384 7662 0 0 0 148 1 0 0 20 0 15 0 243368917 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311392233840 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14090948 memory=524048 CPUtime=0.53 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) S 17926 17933 17869 0 -1 1077944384 4183 0 0 0 52 1 0 0 20 0 15 0 243368917 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311391180784 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14090948 memory=154253750471753 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14090948 memory=532260 CPUtime=1.31 cores=1,3,5,7
/proc/17933/task/17962/stat : 17962 (java) S 17926 17933 17869 0 -1 1077944384 952 0 0 0 58 73 0 0 20 0 15 0 243368928 14429130752 131012 33554432000 4194304 4196468 140735722683408 140311389076528 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 2426.44 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 524048 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.22 1.19 4/215 18059
/proc/meminfo: memFree=24068844/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14090948 memory=326032 CPUtime=2487.74 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 179281 0 1 0 248426 348 0 0 20 0 15 0 243368864 14429130752 81508 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3522737 81508 3598 1 0 3484809 0
[pid=17933/tid=17936] ppid=17926 vsize=14090948 memory=326032 CPUtime=2412.56 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 97703 0 1 0 241214 42 0 0 20 0 15 0 243368879 14429130752 81508 33554432000 4194304 4196468 140735722683408 140312488770144 140312107417098 0 4 0 16800975 0 0 0 -1 3 0 0 107 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14090948 memory=326032 CPUtime=15.62 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 13422 0 0 0 1510 52 0 0 20 0 15 0 243368896 14429130752 81508 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14090948 memory=326032 CPUtime=15.6 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 10918 0 0 0 1499 61 0 0 20 0 15 0 243368896 14429130752 81508 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14090948 memory=326032 CPUtime=15.66 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 13091 0 0 0 1511 55 0 0 20 0 15 0 243368896 14429130752 81508 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14090948 memory=327568 CPUtime=15.63 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 11307 0 0 0 1511 52 0 0 20 0 15 0 243368896 14429130752 81508 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14090948 memory=326032 CPUtime=7.39 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 8208 0 0 0 675 64 0 0 20 0 15 0 243368899 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14090948 memory=515604 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14090948 memory=326032 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 243368900 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14090948 memory=326032 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14090948 memory=517148 CPUtime=1.81 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) S 17926 17933 17869 0 -1 1077944384 10390 0 0 0 179 2 0 0 20 0 15 0 243368917 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311393286384 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14090948 memory=326032 CPUtime=1.49 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) S 17926 17933 17869 0 -1 1077944384 7665 0 0 0 148 1 0 0 20 0 15 0 243368917 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311392233840 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14090948 memory=1196 CPUtime=0.54 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) S 17926 17933 17869 0 -1 1077944384 4185 0 0 0 53 1 0 0 20 0 15 0 243368917 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311391180784 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14090948 memory=326032 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14090948 memory=326032 CPUtime=1.34 cores=1,3,5,7
/proc/17933/task/17962/stat : 17962 (java) S 17926 17933 17869 0 -1 1077944384 970 0 0 0 58 76 0 0 20 0 15 0 243368928 14429130752 81508 33554432000 4194304 4196468 140735722683408 140311389076528 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 2487.74 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 326032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474 s]*
/proc/loadavg: 1.33 1.24 1.20 3/201 18078
/proc/meminfo: memFree=24388488/32770624 swapFree=67108172/67108860
[pid=17933] ppid=17926 vsize=14090948 memory=324272 CPUtime=2520.07 cores=1,3,5,7
/proc/17933/stat : 17933 (java) S 17926 17933 17869 0 -1 1077944320 181183 0 1 0 251653 354 0 0 20 0 15 0 243368864 14429130752 81068 33554432000 4194304 4196468 140735722683408 140735722665952 140312484531959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
/proc/17933/statm: 3522737 81068 3598 1 0 3484809 0
[pid=17933/tid=17936] ppid=17926 vsize=14090948 memory=6791534058613427641 CPUtime=2443.93 cores=1,3,5,7
/proc/17933/task/17936/stat : 17936 (java) R 17926 17933 17869 0 -1 4202560 98389 0 1 0 244351 42 0 0 20 0 15 0 243368879 14429130752 81068 33554432000 4194304 4196468 140735722683408 140312488770288 140312107775717 0 4 0 16800975 0 0 0 -1 3 0 0 107 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17941] ppid=17926 vsize=14090948 memory=4872558044660077418 CPUtime=15.84 cores=1,3,5,7
/proc/17933/task/17941/stat : 17941 (java) S 17926 17933 17869 0 -1 1077944384 13770 0 0 0 1531 53 0 0 20 0 15 0 243368896 14429130752 81068 33554432000 4194304 4196468 140735722683408 140312422132240 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17942] ppid=17926 vsize=14090948 memory=8186646361124467522 CPUtime=15.8 cores=1,3,5,7
/proc/17933/task/17942/stat : 17942 (java) S 17926 17933 17869 0 -1 1077944384 11185 0 0 0 1518 62 0 0 20 0 15 0 243368896 14429130752 81068 33554432000 4194304 4196468 140735722683408 140312079506064 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17943] ppid=17926 vsize=14090948 memory=1399943076149041524 CPUtime=15.87 cores=1,3,5,7
/proc/17933/task/17943/stat : 17943 (java) S 17926 17933 17869 0 -1 1077944384 13386 0 0 0 1531 56 0 0 20 0 15 0 243368896 14429130752 81068 33554432000 4194304 4196468 140735722683408 140312078453008 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17944] ppid=17926 vsize=14090948 memory=4137287014106042739 CPUtime=15.84 cores=1,3,5,7
/proc/17933/task/17944/stat : 17944 (java) S 17926 17933 17869 0 -1 1077944384 11595 0 0 0 1531 53 0 0 20 0 15 0 243368896 14429130752 81068 33554432000 4194304 4196468 140735722683408 140312077400464 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17946] ppid=17926 vsize=14090948 memory=7088771780662946468 CPUtime=7.49 cores=1,3,5,7
/proc/17933/task/17946/stat : 17946 (java) S 17926 17933 17869 0 -1 1077944384 8224 0 0 0 684 65 0 0 20 0 15 0 243368899 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311397497584 140312484543106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17949] ppid=17926 vsize=14090948 memory=-7533511066075828572 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17949/stat : 17949 (java) S 17926 17933 17869 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 243368899 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311396443808 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17950] ppid=17926 vsize=14090948 memory=-7522837583061805196 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17950/stat : 17950 (java) S 17926 17933 17869 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 243368900 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311395390704 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17955] ppid=17926 vsize=14090948 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17955/stat : 17955 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311394339280 140312484550555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17956] ppid=17926 vsize=14090948 memory=-7385037589438827369 CPUtime=1.81 cores=1,3,5,7
/proc/17933/task/17956/stat : 17956 (java) S 17926 17933 17869 0 -1 1077944384 10390 0 0 0 179 2 0 0 20 0 15 0 243368917 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311393286384 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17958] ppid=17926 vsize=14090948 memory=-7385037589438827369 CPUtime=1.49 cores=1,3,5,7
/proc/17933/task/17958/stat : 17958 (java) S 17926 17933 17869 0 -1 1077944384 7665 0 0 0 148 1 0 0 20 0 15 0 243368917 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311392233840 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17959] ppid=17926 vsize=14090948 memory=-6586668835053300882 CPUtime=0.54 cores=1,3,5,7
/proc/17933/task/17959/stat : 17959 (java) S 17926 17933 17869 0 -1 1077944384 4185 0 0 0 53 1 0 0 20 0 15 0 243368917 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311391180784 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17960] ppid=17926 vsize=14090948 memory=7684433391216329530 CPUtime=0 cores=1,3,5,7
/proc/17933/task/17960/stat : 17960 (java) S 17926 17933 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368917 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311390128480 140312484542165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
[pid=17933/tid=17962] ppid=17926 vsize=14090948 memory=-6586668835053300882 CPUtime=1.36 cores=1,3,5,7
/proc/17933/task/17962/stat : 17962 (java) S 17926 17933 17869 0 -1 1077944384 972 0 0 0 59 77 0 0 20 0 15 0 243368928 14429130752 81068 33554432000 4194304 4196468 140735722683408 140311389076528 140312484543106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140735722685520 140735722685705 140735722685705 140735722688463 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 324272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.02 s]
# the end of solver process 17933 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.54 s, system=3.54766 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2474.02
CPU time (s): 2520.09
CPU user time (s): 2516.54
CPU system time (s): 3.54766
CPU usage (%): 101.862
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 533816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.54
system time used= 3.54766
maximum resident set size= 541616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181346
page faults= 1
swaps= 0
block input operations= 736
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256858
involuntary context switches= 8753
# summary of solver processes directly reported to runsolver:
# pid: 17933
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.54
# total CPU system time (s): 3.54766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4772 second user time and 23.8149 second system time
The end