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 (7824 MiB free)
memory of node 1: 16384 MiB (795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290155-1532266123/watcher-4290155-1532266123 -o /tmp/evaluation-result-4290155-1532266123/solver-4290155-1532266123 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532260671-3378 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290155-1532266123.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4115, runsolver pid=4112
[startup+0.105327 s]*
/proc/loadavg: 7.23 6.46 4.57 7/219 4130
/proc/meminfo: memFree=8808028/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10659012 memory=29968 CPUtime=0.13 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 6606 0 0 0 11 2 0 0 20 0 15 0 44175413 10914828288 7492 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2664753 7492 2845 1 0 2627263 0
[pid=4115/tid=4117] ppid=4112 vsize=10659012 memory=-8392274771481294016 CPUtime=0.09 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 4438 0 0 0 8 1 0 0 20 0 15 0 44175414 10914828288 7492 33554432000 4194304 4196468 140732286189696 140582004641376 140582000432285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175416 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44175416 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581102433184 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44175416 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581101380592 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) S 4112 4115 3347 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581099276784 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) S 4112 4115 3347 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581098224240 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0.02 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) R 4112 4115 3347 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 44175419 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581097171696 140582000431706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 7492 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29968 KiB
[startup+0.21076 s]*
/proc/loadavg: 7.23 6.46 4.57 6/219 4130
/proc/meminfo: memFree=8800644/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10659012 memory=41708 CPUtime=0.33 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 8079 0 0 0 30 3 0 0 20 0 15 0 44175413 10914828288 10427 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2664753 10427 3000 1 0 2627263 0
[pid=4115/tid=4117] ppid=4112 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 4991 0 0 0 18 2 0 0 20 0 15 0 44175414 10914828288 10427 33554432000 4194304 4196468 140732286189696 140582004644608 140582000422294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10659012 memory=288370004508182144 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175414 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175416 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44175416 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581102433184 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44175416 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581101380592 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) S 4112 4115 3347 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 44175419 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581099276784 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) S 4112 4115 3347 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 44175419 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581098224240 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0.07 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) R 4112 4115 3347 0 -1 4202560 708 0 0 0 7 0 0 0 20 0 15 0 44175419 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581097171696 140581978421206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10659012 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175419 10914828288 10427 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41708 KiB
[startup+0.310846 s]*
/proc/loadavg: 7.23 6.46 4.57 8/219 4130
/proc/meminfo: memFree=8792764/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10659088 memory=47212 CPUtime=0.53 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 8849 0 0 0 49 4 0 0 20 0 15 0 44175413 10914906112 11803 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2664772 11803 3061 1 0 2627263 0
[pid=4115/tid=4117] ppid=4112 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 5558 0 0 0 28 2 0 0 20 0 15 0 44175414 10914906112 11803 33554432000 4194304 4196468 140732286189696 140582004647056 140581611318400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10659088 memory=290763875203416087 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175414 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10659088 memory=15111889517971096 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175414 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175414 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175414 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10659088 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581102433184 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581101380592 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) R 4112 4115 3347 0 -1 4202560 538 0 0 0 4 0 0 0 20 0 15 0 44175419 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581099263568 140581980065537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) R 4112 4115 3347 0 -1 4202560 598 0 0 0 4 0 0 0 20 0 15 0 44175419 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581098217432 140581985311277 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10659088 memory=139628356470400 CPUtime=0.12 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) R 4112 4115 3347 0 -1 4202560 792 0 0 0 12 0 0 0 20 0 15 0 44175419 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581097167424 140581992647486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10659088 memory=139628356470400 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175419 10914906112 11803 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47212 KiB
[startup+0.708818 s]
/proc/loadavg: 7.23 6.46 4.57 11/219 4130
/proc/meminfo: memFree=8655676/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10659088 memory=215956 CPUtime=1.76 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 13152 0 0 0 166 10 0 0 20 0 15 0 44175413 10914906112 53989 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2664772 53989 3138 1 0 2627263 0
[pid=4115/tid=4117] ppid=4112 vsize=10659088 memory=1844 CPUtime=0.65 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 6046 0 0 0 61 4 0 0 20 0 15 0 44175414 10914906112 53989 33554432000 4194304 4196468 140732286189696 140582004638560 140581614451279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10659088 memory=796 CPUtime=0.02 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 96 0 0 0 1 1 0 0 20 0 15 0 44175414 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10659088 memory=1700 CPUtime=0.01 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 44175414 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10659088 memory=12984 CPUtime=0.02 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 15 0 44175414 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10659088 memory=5664 CPUtime=0.02 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 15 0 44175414 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10659088 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10659088 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581102433248 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10659088 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581101380608 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10659088 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10659088 memory=7739276948478455658 CPUtime=0.33 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) R 4112 4115 3347 0 -1 4202560 2111 0 0 0 33 0 0 0 20 0 15 0 44175419 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581099262984 140581980103422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10659088 memory=6935658124599644240 CPUtime=0.32 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) R 4112 4115 3347 0 -1 4202560 1758 0 0 0 32 0 0 0 20 0 15 0 44175419 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581098205256 140581983907147 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10659088 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) S 4112 4115 3347 0 -1 1077944384 1429 0 0 0 31 0 0 0 20 0 15 0 44175419 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581097171696 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44175419 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10659088 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44175419 10914906112 53989 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 215956 KiB
[startup+1.50076 s]
/proc/loadavg: 7.23 6.46 4.57 8/219 4130
/proc/meminfo: memFree=8608296/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10659088 memory=427628 CPUtime=4.23 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 18559 0 0 0 405 18 0 0 20 0 15 0 44175413 10914906112 106907 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2664772 106907 3148 1 0 2627263 0
[pid=4115/tid=4117] ppid=4112 vsize=10659088 memory=8112282956445269571 CPUtime=1.34 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 6104 0 0 0 128 6 0 0 20 0 15 0 44175414 10914906112 106907 33554432000 4194304 4196468 140732286189696 140582004643488 140581982357253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10659088 memory=-8754540793456063680 CPUtime=0.12 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 133 0 0 0 10 2 0 0 20 0 15 0 44175414 10914906112 106907 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10659088 memory=-2843869621055772062 CPUtime=0.08 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 113 0 0 0 7 1 0 0 20 0 15 0 44175414 10914906112 106907 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10659088 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 114 0 0 0 7 2 0 0 20 0 15 0 44175414 10914906112 106907 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10659088 memory=7005738693937936738 CPUtime=0.11 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 124 0 0 0 9 2 0 0 20 0 15 0 44175414 10914906112 106907 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 44175416 10914906112 106907 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
################
# More data... #
################
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 11842 0 0 0 1154 74 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10727700 memory=4476388 CPUtime=12.35 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 10150 0 0 0 1165 70 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10727700 memory=4476388 CPUtime=4.49 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 14456 0 0 0 446 3 0 0 20 0 16 0 44175416 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10727700 memory=4476388 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 44175416 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581102433248 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10727700 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 44175416 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581101380608 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10727700 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10727700 memory=4476388 CPUtime=3.15 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) S 4112 4115 3347 0 -1 1077944384 10736 0 0 0 312 3 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581099276784 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10727700 memory=4476388 CPUtime=3.11 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) S 4112 4115 3347 0 -1 1077944384 13484 0 0 0 309 2 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581098224240 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10727700 memory=4036 CPUtime=0.54 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) S 4112 4115 3347 0 -1 1077944384 4592 0 0 0 52 2 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581097171696 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10727700 memory=15128 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10727700 memory=4036 CPUtime=1.4 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 2155 0 0 0 68 72 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4131] ppid=4112 vsize=10727700 memory=4476388 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4131/stat : 4131 (java) S 4112 4115 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44177604 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581091914544 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 2307.35 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4476388 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.33 3/222 4389
/proc/meminfo: memFree=9359712/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10727700 memory=4476388 CPUtime=2367.39 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 197518 0 0 0 236353 386 0 0 20 0 16 0 44175413 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2681925 1119097 3191 1 0 2644416 0
[pid=4115/tid=4117] ppid=4112 vsize=10727700 memory=4476388 CPUtime=2305.29 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 107534 0 0 0 230504 25 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140582004647240 140581617499685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10727700 memory=4476388 CPUtime=12.43 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 9827 0 0 0 1170 73 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10727700 memory=4476388 CPUtime=12.24 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 11267 0 0 0 1153 71 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10727700 memory=4476388 CPUtime=12.28 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 11842 0 0 0 1154 74 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10727700 memory=956 CPUtime=12.35 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 10150 0 0 0 1165 70 0 0 20 0 16 0 44175414 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10727700 memory=4476388 CPUtime=4.49 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 14468 0 0 0 446 3 0 0 20 0 16 0 44175416 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10727700 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 44175416 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581102433248 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10727700 memory=4476388 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 44175416 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581101380608 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10727700 memory=4476388 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10727700 memory=4476388 CPUtime=3.15 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) S 4112 4115 3347 0 -1 1077944384 10739 0 0 0 312 3 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581099276784 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10727700 memory=4476388 CPUtime=3.11 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) S 4112 4115 3347 0 -1 1077944384 13488 0 0 0 309 2 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581098224240 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10727700 memory=4476388 CPUtime=0.54 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) S 4112 4115 3347 0 -1 1077944384 4599 0 0 0 52 2 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581097171696 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10727700 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10727700 memory=9456 CPUtime=1.43 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 2196 0 0 0 69 74 0 0 20 0 16 0 44175419 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4131] ppid=4112 vsize=10727700 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4131/stat : 4131 (java) S 4112 4115 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44177604 10985164800 1119097 33554432000 4194304 4196468 140732286189696 140581091914544 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 2367.39 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4476388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.4 s]
/proc/loadavg: 1.87 2.01 2.31 3/222 4389
/proc/meminfo: memFree=9359572/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10727700 memory=4476516 CPUtime=2400.01 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 201606 0 0 0 239614 387 0 0 20 0 16 0 44175413 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2681925 1119129 3191 1 0 2644416 0
[pid=4115/tid=4117] ppid=4112 vsize=10727700 memory=1572 CPUtime=2337.22 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) R 4112 4115 3347 0 -1 4202560 109262 0 0 0 233697 25 0 0 20 0 16 0 44175414 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140582004649360 140581617459950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10727700 memory=928 CPUtime=12.6 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 10217 0 0 0 1186 74 0 0 20 0 16 0 44175414 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10727700 memory=2244 CPUtime=12.41 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 11523 0 0 0 1170 71 0 0 20 0 16 0 44175414 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10727700 memory=4312 CPUtime=12.45 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 12618 0 0 0 1171 74 0 0 20 0 16 0 44175414 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10727700 memory=55 CPUtime=12.51 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 10801 0 0 0 1181 70 0 0 20 0 16 0 44175414 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10727700 memory=233662 CPUtime=4.49 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 14704 0 0 0 446 3 0 0 20 0 16 0 44175416 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10727700 memory=1260 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 44175416 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581102433248 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10727700 memory=1241 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 44175416 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581101380608 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10727700 memory=1245 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44175419 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10727700 memory=1251 CPUtime=3.15 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) S 4112 4115 3347 0 -1 1077944384 10742 0 0 0 312 3 0 0 20 0 16 0 44175419 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581099276784 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10727700 memory=449 CPUtime=3.11 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) S 4112 4115 3347 0 -1 1077944384 13498 0 0 0 309 2 0 0 20 0 16 0 44175419 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581098224240 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10727700 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) S 4112 4115 3347 0 -1 1077944384 4605 0 0 0 52 2 0 0 20 0 16 0 44175419 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581097171696 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10727700 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44175419 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10727700 memory=-6371011775517773341 CPUtime=1.45 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 2228 0 0 0 70 75 0 0 20 0 16 0 44175419 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4131] ppid=4112 vsize=10727700 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4131/stat : 4131 (java) S 4112 4115 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44177604 10985164800 1119129 33554432000 4194304 4196468 140732286189696 140581091914544 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4476516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2354.7 s]
# the end of solver process 4115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.27 s, system=3.90379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.6 s]
/proc/loadavg: 1.87 2.01 2.31 3/222 4389
/proc/meminfo: memFree=9359572/32770624 swapFree=67108860/67108860
[pid=4115] ppid=4112 vsize=10927392 memory=4476752 CPUtime=2400.05 cores=0,2,4,6
/proc/4115/stat : 4115 (java) S 4112 4115 3347 0 -1 1077944320 202239 0 0 0 239618 387 0 0 20 0 17 0 44175413 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140732286172240 140582000410359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
/proc/4115/statm: 2731848 1119188 3194 1 0 2694339 0
[pid=4115/tid=4117] ppid=4112 vsize=10927392 memory=6944656592385698452 CPUtime=2337.26 cores=0,2,4,6
/proc/4115/task/4117/stat : 4117 (java) S 4112 4115 3347 0 -1 1077944384 109311 0 0 0 233701 25 0 0 20 0 17 0 44175414 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140582004653232 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4118] ppid=4112 vsize=10927392 memory=-6368199152461293614 CPUtime=12.6 cores=0,2,4,6
/proc/4115/task/4118/stat : 4118 (java) S 4112 4115 3347 0 -1 1077944384 10217 0 0 0 1186 74 0 0 20 0 17 0 44175414 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581937101584 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4119] ppid=4112 vsize=10927392 memory=4476516 CPUtime=12.41 cores=0,2,4,6
/proc/4115/task/4119/stat : 4119 (java) S 4112 4115 3347 0 -1 1077944384 11523 0 0 0 1170 71 0 0 20 0 17 0 44175414 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581936049040 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4120] ppid=4112 vsize=10927392 memory=279256492732416 CPUtime=12.45 cores=0,2,4,6
/proc/4115/task/4120/stat : 4120 (java) S 4112 4115 3347 0 -1 1077944384 12618 0 0 0 1171 74 0 0 20 0 17 0 44175414 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581934996496 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4121] ppid=4112 vsize=10927392 memory=4476516 CPUtime=12.51 cores=0,2,4,6
/proc/4115/task/4121/stat : 4121 (java) S 4112 4115 3347 0 -1 1077944384 10801 0 0 0 1181 70 0 0 20 0 17 0 44175414 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581933943952 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4122] ppid=4112 vsize=10927392 memory=4476516 CPUtime=4.49 cores=0,2,4,6
/proc/4115/task/4122/stat : 4122 (java) S 4112 4115 3347 0 -1 1077944384 14709 0 0 0 446 3 0 0 20 0 17 0 44175416 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581103486960 140582000421506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4123] ppid=4112 vsize=10927392 memory=12984 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4123/stat : 4123 (java) S 4112 4115 3347 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 44175416 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581102433248 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4124] ppid=4112 vsize=10927392 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4124/stat : 4124 (java) S 4112 4115 3347 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 44175416 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581101380608 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4125] ppid=4112 vsize=10927392 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4125/stat : 4125 (java) S 4112 4115 3347 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 17 0 44175419 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581100329168 140582000428955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4126] ppid=4112 vsize=10927392 memory=3340 CPUtime=3.15 cores=0,2,4,6
/proc/4115/task/4126/stat : 4126 (java) S 4112 4115 3347 0 -1 1077944384 10742 0 0 0 312 3 0 0 20 0 17 0 44175419 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581099276784 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4127] ppid=4112 vsize=10927392 memory=4476516 CPUtime=3.11 cores=0,2,4,6
/proc/4115/task/4127/stat : 4127 (java) S 4112 4115 3347 0 -1 1077944384 13498 0 0 0 309 2 0 0 20 0 17 0 44175419 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581098224240 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4128] ppid=4112 vsize=10927392 memory=1408 CPUtime=0.54 cores=0,2,4,6
/proc/4115/task/4128/stat : 4128 (java) S 4112 4115 3347 0 -1 1077944384 4691 0 0 0 52 2 0 0 20 0 17 0 44175419 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581097171696 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4129] ppid=4112 vsize=10927392 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/4115/task/4129/stat : 4129 (java) S 4112 4115 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44175419 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581096119392 140582000420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
[pid=4115/tid=4130] ppid=4112 vsize=10927392 memory=3371320 CPUtime=1.45 cores=0,2,4,6
/proc/4115/task/4130/stat : 4130 (java) S 4112 4115 3347 0 -1 1077944384 2228 0 0 0 70 75 0 0 20 0 17 0 44175419 11189649408 1119188 33554432000 4194304 4196468 140732286189696 140581095065904 140582000421506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17264640 140732286194801 140732286194953 140732286194953 140732286197711 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4476752 KiB
Child status: 143
Real time (s): 2354.7
CPU time (s): 2400.18
CPU user time (s): 2396.27
CPU system time (s): 3.90379
CPU usage (%): 101.932
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4476752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.27
system time used= 3.90379
maximum resident set size= 4477096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55074
involuntary context switches= 2072
# summary of solver processes directly reported to runsolver:
# pid: 4115
# total CPU time (s): 2400.18
# total CPU user time (s): 2396.27
# total CPU system time (s): 3.90379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1881 second user time and 17.9794 second system time
The end