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 (15254 MiB free)
memory of node 1: 16384 MiB (14494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400392-1568681481/watcher-4400392-1568681481 -o /tmp/evaluation-result-4400392-1568681481/solver-4400392-1568681481 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1386627618 HOME/instance-4400392-1568681481.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=14155, runsolver pid=14152
[startup+0.100203 s]*
/proc/loadavg: 8.15 8.43 8.51 7/234 14171
/proc/meminfo: memFree=30446808/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15144776 memory=29016 CPUtime=0.13 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 5647 0 0 0 11 2 0 0 20 0 15 0 444401153 15508250624 7254 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3786194 7254 3157 1 0 3748377 0
[pid=14157/tid=14158] ppid=14155 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) R 14155 14155 32513 0 -1 4202560 3575 0 0 0 8 1 0 0 20 0 15 0 444401153 15508250624 7254 33554432000 4194304 4196468 140731190555824 139736360281232 139735972544865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 7254 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15144776 memory=140468030875264 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15144776 memory=140468030875264 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401155 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444401156 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735890835104 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444401156 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735889782000 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) R 14155 14155 32513 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 444401158 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735820392784 139736356067029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) R 14155 14155 32513 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 444401158 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735819331792 139736337409136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15144776 memory=140468030875264 CPUtime=0.02 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) R 14155 14155 32513 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 444401158 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735818287088 139736340137310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15144776 memory=140468030875264 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401159 15508250624 7254 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30468 KiB
[startup+0.211064 s]*
/proc/loadavg: 8.15 8.43 8.51 7/234 14171
/proc/meminfo: memFree=30435092/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15144776 memory=40452 CPUtime=0.34 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 9290 0 0 0 31 3 0 0 20 0 15 0 444401153 15508250624 10113 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3786194 10113 3302 1 0 3748377 0
[pid=14157/tid=14158] ppid=14155 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) R 14155 14155 32513 0 -1 4202560 6553 0 0 0 18 2 0 0 20 0 15 0 444401153 15508250624 10113 33554432000 4194304 4196468 140731190555824 139736360288064 139736356068758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 10113 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15144776 memory=4049215406795728544 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15144776 memory=140468030875264 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444401155 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444401156 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735890835104 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444401156 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735889782000 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) S 14155 14155 32513 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 15 0 444401158 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735820392688 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) S 14155 14155 32513 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 15 0 444401158 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735819340144 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15144776 memory=140468030875264 CPUtime=0.08 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) R 14155 14155 32513 0 -1 4202560 811 0 0 0 8 0 0 0 20 0 15 0 444401158 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735818287088 139736335011610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401159 15508250624 10113 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41904 KiB
[startup+0.310689 s]*
/proc/loadavg: 8.15 8.43 8.51 7/234 14171
/proc/meminfo: memFree=30426840/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15149032 memory=49836 CPUtime=0.53 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 10758 0 0 0 49 4 0 0 20 0 15 0 444401153 15512608768 12459 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3787258 12459 3364 1 0 3748377 0
[pid=14157/tid=14158] ppid=14155 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) R 14155 14155 32513 0 -1 4202560 7693 0 0 0 27 3 0 0 20 0 15 0 444401153 15512608768 12459 33554432000 4194304 4196468 140731190555824 139736360287936 139736340137310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15512608768 12459 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15149032 memory=4266088842962141216 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444401155 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444401156 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735890835104 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444401156 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735889782000 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) R 14155 14155 32513 0 -1 4202560 631 0 0 0 5 0 0 0 20 0 15 0 444401158 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735820383072 139736356078170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) S 14155 14155 32513 0 -1 1077944384 151 0 0 0 4 0 0 0 20 0 15 0 444401158 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735819340144 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) S 14155 14155 32513 0 -1 1077944384 991 0 0 0 12 0 0 0 20 0 15 0 444401158 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735818287088 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401159 15512608768 12459 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51288 KiB
[startup+0.700757 s]
/proc/loadavg: 8.15 8.43 8.51 7/234 14171
/proc/meminfo: memFree=30414496/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15151156 memory=84540 CPUtime=1.59 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 14760 0 0 0 152 7 0 0 20 0 15 0 444401153 15514783744 21135 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3787789 21135 3453 1 0 3748889 0
[pid=14157/tid=14158] ppid=14155 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) R 14155 14155 32513 0 -1 4202560 9238 0 0 0 63 4 0 0 20 0 15 0 444401153 15514783744 21135 33554432000 4194304 4196468 140731190555824 139736360292960 139735976433747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15514783744 21135 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401154 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444401154 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444401155 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444401156 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735890835104 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444401156 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735889782000 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15151156 memory=1764 CPUtime=0.25 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) R 14155 14155 32513 0 -1 4202560 1195 0 0 0 25 0 0 0 20 0 15 0 444401158 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735820379472 139736335900431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15151156 memory=111628 CPUtime=0.21 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) R 14155 14155 32513 0 -1 4202560 830 0 0 0 21 0 0 0 20 0 15 0 444401158 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735819329824 139736335328629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15151156 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) R 14155 14155 32513 0 -1 4202560 2189 0 0 0 41 1 0 0 20 0 15 0 444401158 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735818287088 139736334986160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444401158 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15151156 memory=3424 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444401159 15514783744 21135 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85992 KiB
[startup+1.50077 s]
/proc/loadavg: 8.15 8.43 8.51 10/238 14191
/proc/meminfo: memFree=30338332/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 676 0 0 0 0 2 0 0 20 0 19 0 444401159 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14204] ppid=14155 vsize=15420488 memory=2512 CPUtime=104.03 cores=0,2,4,6
/proc/14157/task/14204/stat : 14204 (java) R 14155 14155 32513 0 -1 4202560 734 0 0 0 10403 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735806966944 139735978473707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14205] ppid=14155 vsize=15420488 memory=6791534058613427641 CPUtime=103.77 cores=0,2,4,6
/proc/14157/task/14205/stat : 14205 (java) R 14155 14155 32513 0 -1 4202560 1847 0 0 0 10377 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735805911360 139735979482168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14206] ppid=14155 vsize=15420488 memory=812 CPUtime=103.91 cores=0,2,4,6
/proc/14157/task/14206/stat : 14206 (java) R 14155 14155 32513 0 -1 4202560 1005 0 0 0 10391 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735804862480 139735973598296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14207] ppid=14155 vsize=15420488 memory=1764 CPUtime=103.99 cores=0,2,4,6
/proc/14157/task/14207/stat : 14207 (java) R 14155 14155 32513 0 -1 4202560 2075 0 0 0 10399 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735802755976 139735973598464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 423.7 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 215548 KiB
[startup+108.006 s]*
/proc/loadavg: 8.52 8.45 8.51 9/239 14224
/proc/meminfo: memFree=30346608/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15420488 memory=214096 CPUtime=426.88 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 46310 0 0 0 42667 21 0 0 20 0 19 0 444401153 15790579712 53524 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3855122 53524 3527 1 0 3816222 0
[pid=14157/tid=14158] ppid=14155 vsize=15420488 memory=12024 CPUtime=0.71 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) S 14155 14155 32513 0 -1 1077944384 9309 0 0 0 67 4 0 0 20 0 19 0 444401153 15790579712 53524 33554432000 4194304 4196468 140731190555824 139736360297600 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15420488 memory=33 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 947 0 0 0 21 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15420488 memory=4126316290023845779 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1711 0 0 0 20 3 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15420488 memory=3028 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2472 0 0 0 21 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15420488 memory=2012 CPUtime=0.24 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 1289 0 0 0 22 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15420488 memory=1388 CPUtime=0.2 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 1887 0 0 0 19 1 0 0 20 0 19 0 444401155 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15420488 memory=776 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 444401156 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735890835168 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15420488 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 444401156 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735889782016 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15420488 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15420488 memory=1668 CPUtime=1.53 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) S 14155 14155 32513 0 -1 1077944384 7723 0 0 0 152 1 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735820392688 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15420488 memory=1452 CPUtime=1.58 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) S 14155 14155 32513 0 -1 1077944384 7364 0 0 0 157 1 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735819340144 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15420488 memory=1452 CPUtime=0.7 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) S 14155 14155 32513 0 -1 1077944384 5112 0 0 0 68 2 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735818287088 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15420488 memory=203624 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15420488 memory=3028 CPUtime=0.02 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 676 0 0 0 0 2 0 0 20 0 19 0 444401159 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14204] ppid=14155 vsize=15420488 memory=2012 CPUtime=104.81 cores=0,2,4,6
/proc/14157/task/14204/stat : 14204 (java) R 14155 14155 32513 0 -1 4202560 736 0 0 0 10481 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735806963072 139735980108598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14205] ppid=14155 vsize=15420488 memory=1452 CPUtime=104.56 cores=0,2,4,6
/proc/14157/task/14205/stat : 14205 (java) R 14155 14155 32513 0 -1 4202560 1848 0 0 0 10456 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735805911136 139735980585616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14206] ppid=14155 vsize=15420488 memory=214096 CPUtime=104.7 cores=0,2,4,6
/proc/14157/task/14206/stat : 14206 (java) R 14155 14155 32513 0 -1 4202560 1008 0 0 0 10470 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735804858544 139735978085298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14207] ppid=14155 vsize=15420488 memory=47964 CPUtime=104.79 cores=0,2,4,6
/proc/14157/task/14207/stat : 14207 (java) R 14155 14155 32513 0 -1 4202560 2076 0 0 0 10479 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735802755568 139735973598431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 426.88 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 215548 KiB
[startup+108.208 s]
/proc/loadavg: 8.52 8.45 8.51 9/239 14224
/proc/meminfo: memFree=30346608/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15420488 memory=214096 CPUtime=427.65 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 46315 0 0 0 42744 21 0 0 20 0 19 0 444401153 15790579712 53524 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3855122 53524 3527 1 0 3816222 0
[pid=14157/tid=14158] ppid=14155 vsize=15420488 memory=14410423571057304 CPUtime=0.71 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) S 14155 14155 32513 0 -1 1077944384 9309 0 0 0 67 4 0 0 20 0 19 0 444401153 15790579712 53524 33554432000 4194304 4196468 140731190555824 139736360297600 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15420488 memory=1560 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 947 0 0 0 21 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15420488 memory=932 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1711 0 0 0 20 3 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15420488 memory=3768 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2476 0 0 0 21 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15420488 memory=1980 CPUtime=0.24 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 1289 0 0 0 22 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15420488 memory=2512 CPUtime=0.2 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 1887 0 0 0 19 1 0 0 20 0 19 0 444401155 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15420488 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 444401156 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735890835168 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15420488 memory=812 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 444401156 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735889782016 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15420488 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15420488 memory=111628 CPUtime=1.53 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) S 14155 14155 32513 0 -1 1077944384 7723 0 0 0 152 1 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735820392688 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15420488 memory=796 CPUtime=1.58 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) S 14155 14155 32513 0 -1 1077944384 7364 0 0 0 157 1 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735819340144 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15420488 memory=1412 CPUtime=0.7 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) S 14155 14155 32513 0 -1 1077944384 5112 0 0 0 68 2 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735818287088 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15420488 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15420488 memory=47964 CPUtime=0.02 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 676 0 0 0 0 2 0 0 20 0 19 0 444401159 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14204] ppid=14155 vsize=15420488 memory=3028 CPUtime=105 cores=0,2,4,6
/proc/14157/task/14204/stat : 14204 (java) R 14155 14155 32513 0 -1 4202560 737 0 0 0 10500 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735806963992 139735977649344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14205] ppid=14155 vsize=15420488 memory=2012 CPUtime=104.75 cores=0,2,4,6
/proc/14157/task/14205/stat : 14205 (java) R 14155 14155 32513 0 -1 4202560 1848 0 0 0 10475 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735805914784 139735978473628 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14206] ppid=14155 vsize=15420488 memory=1388 CPUtime=104.89 cores=0,2,4,6
/proc/14157/task/14206/stat : 14206 (java) R 14155 14155 32513 0 -1 4202560 1008 0 0 0 10489 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735804861864 139735978473663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14207] ppid=14155 vsize=15420488 memory=776 CPUtime=104.98 cores=0,2,4,6
/proc/14157/task/14207/stat : 14207 (java) R 14155 14155 32513 0 -1 4202560 2076 0 0 0 10498 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735802752784 139735973598408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 427.65 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 215548 KiB
[startup+108.309 s]
/proc/loadavg: 8.52 8.45 8.51 9/239 14224
/proc/meminfo: memFree=30346608/32770624 swapFree=66997372/67108860
[pid=14155] ppid=14152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14155/stat : 14155 (xcsp3-exec) S 14152 14155 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444401152 115843072 363 33554432000 4194304 5098028 140734095480848 140734095478952 140705291276924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17211392 140734095483770 140734095484013 140734095484013 140734095486922 0
/proc/14155/statm: 28282 363 304 221 0 87 0
[pid=14157] ppid=14155 vsize=15420488 memory=214096 CPUtime=428.06 cores=0,2,4,6
/proc/14157/stat : 14157 (java) S 14155 14155 32513 0 -1 1077944320 46315 0 0 0 42785 21 0 0 20 0 19 0 444401153 15790579712 53524 33554432000 4194304 4196468 140731190555824 140731190538368 139736356056823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
/proc/14157/statm: 3855122 53524 3527 1 0 3816222 0
[pid=14157/tid=14158] ppid=14155 vsize=15420488 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/14157/task/14158/stat : 14158 (java) S 14155 14155 32513 0 -1 1077944384 9309 0 0 0 67 4 0 0 20 0 19 0 444401153 15790579712 53524 33554432000 4194304 4196468 140731190555824 139736360297600 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14159] ppid=14155 vsize=15420488 memory=214096 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14159/stat : 14159 (java) S 14155 14155 32513 0 -1 1077944384 947 0 0 0 21 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139736292293136 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14160] ppid=14155 vsize=15420488 memory=214096 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14160/stat : 14160 (java) S 14155 14155 32513 0 -1 1077944384 1711 0 0 0 20 3 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735947860624 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14161] ppid=14155 vsize=15420488 memory=214096 CPUtime=0.23 cores=0,2,4,6
/proc/14157/task/14161/stat : 14161 (java) S 14155 14155 32513 0 -1 1077944384 2476 0 0 0 21 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735946807568 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14162] ppid=14155 vsize=15420488 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/14157/task/14162/stat : 14162 (java) S 14155 14155 32513 0 -1 1077944384 1289 0 0 0 22 2 0 0 20 0 19 0 444401154 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735945755024 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14163] ppid=14155 vsize=15420488 memory=205904 CPUtime=0.2 cores=0,2,4,6
/proc/14157/task/14163/stat : 14163 (java) S 14155 14155 32513 0 -1 1077944384 1887 0 0 0 19 1 0 0 20 0 19 0 444401155 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735891888880 139736356067970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14164] ppid=14155 vsize=15420488 memory=189020 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14164/stat : 14164 (java) S 14155 14155 32513 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 444401156 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735890835168 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14165] ppid=14155 vsize=15420488 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14165/stat : 14165 (java) S 14155 14155 32513 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 444401156 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735889782016 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14166] ppid=14155 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14166/stat : 14166 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735821445584 139736356075419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14167] ppid=14155 vsize=15420488 memory=205904 CPUtime=1.53 cores=0,2,4,6
/proc/14157/task/14167/stat : 14167 (java) S 14155 14155 32513 0 -1 1077944384 7723 0 0 0 152 1 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735820392688 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14168] ppid=14155 vsize=15420488 memory=1452 CPUtime=1.58 cores=0,2,4,6
/proc/14157/task/14168/stat : 14168 (java) S 14155 14155 32513 0 -1 1077944384 7364 0 0 0 157 1 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735819340144 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14169] ppid=14155 vsize=15420488 memory=214096 CPUtime=0.7 cores=0,2,4,6
/proc/14157/task/14169/stat : 14169 (java) S 14155 14155 32513 0 -1 1077944384 5112 0 0 0 68 2 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735818287088 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14170] ppid=14155 vsize=15420488 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/14157/task/14170/stat : 14170 (java) S 14155 14155 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444401158 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735817234784 139736356067029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14171] ppid=14155 vsize=15420488 memory=1112 CPUtime=0.02 cores=0,2,4,6
/proc/14157/task/14171/stat : 14171 (java) S 14155 14155 32513 0 -1 1077944384 676 0 0 0 0 2 0 0 20 0 19 0 444401159 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735816182832 139736356067970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14204] ppid=14155 vsize=15420488 memory=70 CPUtime=105.11 cores=0,2,4,6
/proc/14157/task/14204/stat : 14204 (java) R 14155 14155 32513 0 -1 4202560 737 0 0 0 10511 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735806963992 139735979021417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14205] ppid=14155 vsize=15420488 memory=0 CPUtime=104.85 cores=0,2,4,6
/proc/14157/task/14205/stat : 14205 (java) R 14155 14155 32513 0 -1 4202560 1848 0 0 0 10485 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735805914784 139735979024331 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14206] ppid=14155 vsize=15420488 memory=3 CPUtime=104.99 cores=0,2,4,6
/proc/14157/task/14206/stat : 14206 (java) R 14155 14155 32513 0 -1 4202560 1008 0 0 0 10499 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735804861864 139735978473635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
[pid=14157/tid=14207] ppid=14155 vsize=15420488 memory=280935824415856 CPUtime=105.09 cores=0,2,4,6
/proc/14157/task/14207/stat : 14207 (java) R 14155 14155 32513 0 -1 4202560 2076 0 0 0 10509 0 0 0 20 0 19 0 444401320 15790579712 53524 33554432000 4194304 4196468 140731190555824 139735802752784 139735979770284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140731190563823 140731190563994 140731190563994 140731190566863 0
Current children cumulated CPU time: 428.06 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 215548 KiB
Child status: 0
Real time (s): 108.355
CPU time (s): 428.218
CPU user time (s): 427.999
CPU system time (s): 0.219797
CPU usage (%): 395.201
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 219992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 427.999
system time used= 0.219797
maximum resident set size= 218540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12969
involuntary context switches= 10022
# summary of solver processes directly reported to runsolver:
# pid: 14155
# total CPU time (s): 428.218
# total CPU user time (s): 427.999
# total CPU system time (s): 0.219797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.687379 second user time and 1.26622 second system time
The end