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 (13963 MiB free)
memory of node 1: 16384 MiB (12304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258275-1502639598/watcher-4258275-1502639598 -o /tmp/evaluation-result-4258275-1502639598/solver-4258275-1502639598 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258275-1502639598.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=18107, runsolver pid=18104
Current StackSize limit: 8192 KiB
[startup+0.105392 s]*
/proc/loadavg: 6.21 5.23 4.51 8/215 18122
/proc/meminfo: memFree=26862144/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555400 memory=29924 CPUtime=0.13 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 6570 0 0 0 12 1 0 0 20 0 15 0 97040898 10808729600 7481 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638850 7481 2819 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555400 memory=-7254954386087372155 CPUtime=0.1 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) R 18104 18107 6338 0 -1 4202560 4412 0 0 0 9 1 0 0 20 0 15 0 97040898 10808729600 7481 33554432000 4194304 4196468 140722746244592 139625153604256 139625133462878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555400 memory=5793855671930026425 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) S 18104 18107 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 7481 33554432000 4194304 4196468 140722746244592 139625102002960 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 7481 33554432000 4194304 4196468 140722746244592 139625100950416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 7481 33554432000 4194304 4196468 140722746244592 139625099897872 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 7481 33554432000 4194304 4196468 140722746244592 139625098845328 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97040900 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624708507632 139625149393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97040901 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624707453856 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97040901 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624705349840 139625149400987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 97040903 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624704297456 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) R 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624703244912 139625149393538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0.02 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) S 18104 18107 6338 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 97040903 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624702192368 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040904 10808729600 7481 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29924 KiB
[startup+0.214287 s]*
/proc/loadavg: 6.21 5.23 4.51 7/215 18122
/proc/meminfo: memFree=26745848/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555400 memory=39752 CPUtime=0.33 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 8080 0 0 0 32 1 0 0 20 0 15 0 97040898 10808729600 9938 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638850 9938 2964 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) R 18104 18107 6338 0 -1 4202560 5095 0 0 0 19 1 0 0 20 0 15 0 97040898 10808729600 9938 33554432000 4194304 4196468 140722746244592 139625153610000 139625149403738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555400 memory=4211974147124923786 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) S 18104 18107 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 9938 33554432000 4194304 4196468 140722746244592 139625102002960 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 9938 33554432000 4194304 4196468 140722746244592 139625100950416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 9938 33554432000 4194304 4196468 140722746244592 139625099897872 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808729600 9938 33554432000 4194304 4196468 140722746244592 139625098845328 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97040900 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624708507632 139625149393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97040901 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624707453856 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97040901 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624705349840 139625149400987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 15 0 97040903 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624704297456 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 97040903 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624703244912 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0.07 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) R 18104 18107 6338 0 -1 4202560 818 0 0 0 7 0 0 0 20 0 15 0 97040903 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624702189304 139625149403738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555400 memory=140420920133248 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040904 10808729600 9938 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39752 KiB
[startup+0.31072 s]*
/proc/loadavg: 6.21 5.23 4.51 8/215 18122
/proc/meminfo: memFree=26624460/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555476 memory=46840 CPUtime=0.54 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 8755 0 0 0 52 2 0 0 20 0 15 0 97040898 10808807424 11710 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638869 11710 3037 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) R 18104 18107 6338 0 -1 4202560 5523 0 0 0 29 1 0 0 20 0 15 0 97040898 10808807424 11710 33554432000 4194304 4196468 140722746244592 139625153617984 139625149394326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=4211974147124923786 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) S 18104 18107 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97040899 10808807424 11710 33554432000 4194304 4196468 140722746244592 139625102002960 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=140420920135605 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808807424 11710 33554432000 4194304 4196468 140722746244592 139625100950416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=140420801741522 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808807424 11710 33554432000 4194304 4196468 140722746244592 139625099897872 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=140420801744335 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040899 10808807424 11710 33554432000 4194304 4196468 140722746244592 139625098845328 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=140420920139613 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97040900 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624708507632 139625149393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555476 memory=140420801753519 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624707453856 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555476 memory=280841603497872 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555476 memory=280841603495568 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624705349840 139625149400987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555476 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) R 18104 18107 6338 0 -1 1077944384 757 0 0 0 5 0 0 0 20 0 15 0 97040903 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624704284304 139625149392597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 156 0 0 0 3 0 0 0 20 0 15 0 97040903 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624703244912 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555476 memory=140420920133248 CPUtime=0.14 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) R 18104 18107 6338 0 -1 4202560 947 0 0 0 14 0 0 0 20 0 15 0 97040903 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624702188048 139625128815483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555476 memory=140420920133248 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040904 10808807424 11710 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46840 KiB
[startup+0.701295 s]
/proc/loadavg: 6.21 5.23 4.51 8/215 18122
/proc/meminfo: memFree=26297408/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555476 memory=362900 CPUtime=1.72 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 11416 0 0 0 155 17 0 0 20 0 15 0 97040898 10808807424 90725 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638869 90725 3108 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=1952 CPUtime=0.6 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) S 18104 18107 6338 0 -1 1077944384 5756 0 0 0 56 4 0 0 20 0 15 0 97040898 10808807424 90725 33554432000 4194304 4196468 140722746244592 139625153619392 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=5796 CPUtime=0.06 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) R 18104 18107 6338 0 -1 4202560 122 0 0 0 4 2 0 0 20 0 15 0 97040899 10808807424 90725 33554432000 4194304 4196468 140722746244592 139625102002848 139625134423234 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=4616 CPUtime=0.06 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) R 18104 18107 6338 0 -1 4202560 116 0 0 0 4 2 0 0 20 0 15 0 97040899 10808807424 90725 33554432000 4194304 4196468 140722746244592 139625100950416 139625134406094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=7523356985603351872 CPUtime=0.07 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) R 18104 18107 6338 0 -1 4202560 119 0 0 0 4 3 0 0 20 0 15 0 97040899 10808807424 90725 33554432000 4194304 4196468 140722746244592 139625099897872 139625134410141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=7881696724453321575 CPUtime=0.06 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) R 18104 18107 6338 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 15 0 97040899 10808807424 90725 33554432000 4194304 4196468 140722746244592 139625098845328 139625134406083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=7151836404271566928 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 97040900 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624708506144 139625149392597 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624707453856 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624705349840 139625149400987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555476 memory=72 CPUtime=0.27 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 1454 0 0 0 27 0 0 0 20 0 15 0 97040903 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624704297456 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555476 memory=3 CPUtime=0.26 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 860 0 0 0 26 0 0 0 20 0 15 0 97040903 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624703244912 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555476 memory=6079 CPUtime=0.26 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) S 18104 18107 6338 0 -1 1077944384 1428 0 0 0 26 0 0 0 20 0 15 0 97040903 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624702192368 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555476 memory=280841603681776 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97040904 10808807424 90725 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 362900 KiB
[startup+1.50087 s]
/proc/loadavg: 6.21 5.23 4.51 6/215 18122
/proc/meminfo: memFree=25671444/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555476 memory=1188452 CPUtime=3.16 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 14245 0 0 0 277 39 0 0 20 0 15 0 97040898 10808807424 297113 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638869 297113 3115 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) R 18104 18107 6338 0 -1 4202560 6923 0 0 0 112 14 0 0 20 0 15 0 97040898 10808807424 297113 33554432000 4194304 4196468 140722746244592 139625153602448 139624776947978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=-6940707314043349348 CPUtime=0.19 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) S 18104 18107 6338 0 -1 1077944384 264 0 0 0 13 6 0 0 20 0 15 0 97040899 10808807424 297113 33554432000 4194304 4196468 140722746244592 139625102002960 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=-5935602824819121961 CPUtime=0.19 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) S 18104 18107 6338 0 -1 1077944384 255 0 0 0 14 5 0 0 20 0 15 0 97040899 10808807424 297113 33554432000 4194304 4196468 140722746244592 139625100950416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=-1161699032755887712 CPUtime=0.18 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) S 18104 18107 6338 0 -1 1077944384 249 0 0 0 13 5 0 0 20 0 15 0 97040899 10808807424 297113 33554432000 4194304 4196468 140722746244592 139625099897872 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=-6305719382032737664 CPUtime=0.18 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) S 18104 18107 6338 0 -1 1077944384 249 0 0 0 13 5 0 0 20 0 15 0 97040899 10808807424 297113 33554432000 4194304 4196468 140722746244592 139625098845328 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=-6305710585804973184 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 996 0 0 0 0 0 0 0 20 0 15 0 97040900 10808807424 297113 33554432000 4194304 4196468 140722746244592 139624708507632 139625149393538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
################
# More data... #
################
/proc/18107/statm: 2638869 2079720 3151 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=6791534058613427641 CPUtime=15.48 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) S 18104 18107 6338 0 -1 1077944384 20921 0 0 0 1519 29 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625153618784 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=-7003737579269690708 CPUtime=55.73 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) R 18104 18107 6338 0 -1 4202560 405791 0 0 0 5429 144 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625102003160 139625130979402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=840 CPUtime=55.47 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) R 18104 18107 6338 0 -1 4202560 441226 0 0 0 5418 129 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625100950616 139625134333432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=1692 CPUtime=55.48 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) R 18104 18107 6338 0 -1 4202560 385948 0 0 0 5413 135 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625099897456 139625142010599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=916 CPUtime=55.17 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) R 18104 18107 6338 0 -1 4202560 511516 0 0 0 5377 140 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625098845224 139625142010599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=3832 CPUtime=12.18 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 26814 0 0 0 1216 2 0 0 20 0 15 0 97040900 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624708505952 139625149392597 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555476 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624707453920 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555476 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555476 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624705349840 139625149400987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555476 memory=280841604812064 CPUtime=1.39 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 12708 0 0 0 138 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624704297456 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555476 memory=7018702137977100399 CPUtime=0.97 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 6423 0 0 0 96 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624703244912 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555476 memory=7236270191704887915 CPUtime=0.4 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) S 18104 18107 6338 0 -1 1077944384 3990 0 0 0 40 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624702192368 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555476 memory=7524788652202027112 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555476 memory=7377573932961977448 CPUtime=0.04 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 327 0 0 0 2 2 0 0 20 0 15 0 97040904 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 252.4 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8318880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+86.1188 s]
# the end of solver process 18107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.298 s, system=6.00986 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.8006 s]
/proc/loadavg: 4.78 5.02 4.50 6/217 18132
/proc/meminfo: memFree=14501148/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555476 memory=8318880 CPUtime=255.48 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 1825341 0 0 0 24961 587 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638869 2079720 3151 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=4872558044660077418 CPUtime=15.48 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) S 18104 18107 6338 0 -1 1077944384 20921 0 0 0 1519 29 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625153618784 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=12064 CPUtime=56.51 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) R 18104 18107 6338 0 -1 4202560 405813 0 0 0 5507 144 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625102002544 139625142010599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=1004 CPUtime=56.27 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) R 18104 18107 6338 0 -1 4202560 449429 0 0 0 5497 130 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625100950616 139625134333419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=1228 CPUtime=56.24 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) R 18104 18107 6338 0 -1 4202560 385948 0 0 0 5489 135 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625099897768 139625142010599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=1952 CPUtime=55.93 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) R 18104 18107 6338 0 -1 4202560 511516 0 0 0 5453 140 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625098845224 139625142010599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=5796 CPUtime=12.18 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 26814 0 0 0 1216 2 0 0 20 0 15 0 97040900 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624708505952 139625149392597 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624707453920 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555476 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555476 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624705349488 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555476 memory=6944656592455359580 CPUtime=1.39 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 12711 0 0 0 138 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624704297504 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555476 memory=6944656592455360604 CPUtime=0.97 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 6429 0 0 0 96 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624703244672 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555476 memory=-7522837415797432223 CPUtime=0.4 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) S 18104 18107 6338 0 -1 1077944384 3993 0 0 0 40 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624702192416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555476 memory=24611 CPUtime=0.04 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 327 0 0 0 2 2 0 0 20 0 15 0 97040904 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 255.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8318880 KiB
[startup+85.6007 s]
/proc/loadavg: 4.78 5.02 4.50 6/217 18132
/proc/meminfo: memFree=14501148/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555476 memory=8318880 CPUtime=258.6 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 1858823 0 0 0 25271 589 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638869 2079720 3151 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=16099256251451951 CPUtime=15.48 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) S 18104 18107 6338 0 -1 1077944384 20921 0 0 0 1519 29 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625153618784 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=140423955744587 CPUtime=57.28 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) R 18104 18107 6338 0 -1 4202560 405814 0 0 0 5584 144 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625102002768 139625142010599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=148330990536498 CPUtime=57.05 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) R 18104 18107 6338 0 -1 4202560 449435 0 0 0 5575 130 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625100950224 139625142010599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=140423955744745 CPUtime=57 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) R 18104 18107 6338 0 -1 4202560 413977 0 0 0 5564 136 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625099897760 139625142486028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=140423955744749 CPUtime=56.7 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) R 18104 18107 6338 0 -1 4202560 511516 0 0 0 5530 140 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625098845448 139625142010599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=4096 CPUtime=12.18 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 32295 0 0 0 1216 2 0 0 20 0 15 0 97040900 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624708506176 139625149392597 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555476 memory=28520 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624707453920 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555476 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555476 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624705349488 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555476 memory=1728 CPUtime=1.39 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 12711 0 0 0 138 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624704297504 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555476 memory=12064 CPUtime=0.97 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 6429 0 0 0 96 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624703244672 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555476 memory=1004 CPUtime=0.4 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) S 18104 18107 6338 0 -1 1077944384 3993 0 0 0 40 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624702192416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555476 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555476 memory=1952 CPUtime=0.04 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) S 18104 18107 6338 0 -1 1077944384 327 0 0 0 2 2 0 0 20 0 15 0 97040904 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 258.6 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8318880 KiB
[startup+86.0007 s]*
/proc/loadavg: 4.72 5.00 4.50 6/217 18132
/proc/meminfo: memFree=14501148/32770624 swapFree=67108860/67108860
[pid=18107] ppid=18104 vsize=10555476 memory=8318880 CPUtime=260.19 cores=0,2,4,6
/proc/18107/stat : 18107 (java) S 18104 18107 6338 0 -1 1077944320 1868325 0 0 0 25428 591 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 140722746227136 139625149382391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
/proc/18107/statm: 2638869 2079720 3151 1 0 2627263 0
[pid=18107/tid=18109] ppid=18104 vsize=10555476 memory=7752289913541064250 CPUtime=15.48 cores=0,2,4,6
/proc/18107/task/18109/stat : 18109 (java) S 18104 18107 6338 0 -1 1077944384 20921 0 0 0 1519 29 0 0 20 0 15 0 97040898 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625153618784 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18110] ppid=18104 vsize=10555476 memory=4211974147124923786 CPUtime=57.68 cores=0,2,4,6
/proc/18107/task/18110/stat : 18110 (java) R 18104 18107 6338 0 -1 4202560 405814 0 0 0 5623 145 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625102002768 139625142010599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18111] ppid=18104 vsize=10555476 memory=140420920133248 CPUtime=57.44 cores=0,2,4,6
/proc/18107/task/18111/stat : 18111 (java) R 18104 18107 6338 0 -1 4202560 449435 0 0 0 5614 130 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625100950536 139625142010599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18112] ppid=18104 vsize=10555476 memory=0 CPUtime=57.42 cores=0,2,4,6
/proc/18107/task/18112/stat : 18112 (java) R 18104 18107 6338 0 -1 4202560 423444 0 0 0 5605 137 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625099897760 139625130992196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18113] ppid=18104 vsize=10555476 memory=-1 CPUtime=57.09 cores=0,2,4,6
/proc/18107/task/18113/stat : 18113 (java) R 18104 18107 6338 0 -1 4202560 511516 0 0 0 5568 141 0 0 20 0 15 0 97040899 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139625098845448 139625142010599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18114] ppid=18104 vsize=10555476 memory=140420920133248 CPUtime=12.18 cores=0,2,4,6
/proc/18107/task/18114/stat : 18114 (java) S 18104 18107 6338 0 -1 1077944384 32295 0 0 0 1216 2 0 0 20 0 15 0 97040900 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624708506176 139625149392597 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18115] ppid=18104 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18115/stat : 18115 (java) S 18104 18107 6338 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624707453920 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18116] ppid=18104 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18116/stat : 18116 (java) S 18104 18107 6338 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 97040901 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624706401264 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18117] ppid=18104 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18117/stat : 18117 (java) S 18104 18107 6338 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624705349488 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18118] ppid=18104 vsize=10555476 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/18107/task/18118/stat : 18118 (java) S 18104 18107 6338 0 -1 1077944384 12711 0 0 0 138 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624704297504 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18119] ppid=18104 vsize=10555476 memory=-1 CPUtime=0.97 cores=0,2,4,6
/proc/18107/task/18119/stat : 18119 (java) S 18104 18107 6338 0 -1 1077944384 6429 0 0 0 96 1 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624703244672 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18120] ppid=18104 vsize=10555476 memory=140420920133248 CPUtime=0.4 cores=0,2,4,6
/proc/18107/task/18120/stat : 18120 (java) S 18104 18107 6338 0 -1 1077944384 3993 0 0 0 40 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624702192416 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18121] ppid=18104 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18107/task/18121/stat : 18121 (java) S 18104 18107 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97040903 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624701140064 139625149392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
[pid=18107/tid=18122] ppid=18104 vsize=10555476 memory=140420920133248 CPUtime=0.04 cores=0,2,4,6
/proc/18107/task/18122/stat : 18122 (java) R 18104 18107 6338 0 -1 1077944384 327 0 0 0 2 2 0 0 20 0 15 0 97040904 10808807424 2079720 33554432000 4194304 4196468 140722746244592 139624700086576 139625149393538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140722746250379 140722746250532 140722746250532 140722746253263 0
Current children cumulated CPU time: 260.19 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8318880 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 86.1189
CPU time (s): 260.308
CPU user time (s): 254.298
CPU system time (s): 6.00986
CPU usage (%): 302.266
Max. virtual memory (cumulated for all children) (KiB): 10558188
Max. memory (cumulated for all children) (KiB): 8318880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.298
system time used= 6.00986
maximum resident set size= 8319080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1868329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10533
involuntary context switches= 3236
# summary of solver processes directly reported to runsolver:
# pid: 18107
# total CPU time (s): 260.308
# total CPU user time (s): 254.298
# total CPU system time (s): 6.00986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.536215 second user time and 0.88514 second system time
The end