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 (15103 MiB free)
memory of node 1: 16384 MiB (15321 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399229-1568699991/watcher-4399229-1568699991 -o /tmp/evaluation-result-4399229-1568699991/solver-4399229-1568699991 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568695657-13662 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1342921743 HOME/instance-4399229-1568699991.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13929, runsolver pid=13926
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 7.77 7.59 4.72 4/228 13945
/proc/meminfo: memFree=31125972/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15144776 memory=30056 CPUtime=0.13 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 5478 0 0 0 12 1 0 0 20 0 15 0 446257307 15508250624 7514 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3786194 7514 3119 1 0 3748377 0
[pid=13931/tid=13932] ppid=13929 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13631 0 -1 4202560 3392 0 0 0 9 0 0 0 20 0 15 0 446257307 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932560928440 139932556705174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15144776 memory=140120443238016 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15144776 memory=140120443238016 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446257309 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446257309 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932024230816 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446257310 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932023178224 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13631 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 446257312 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932021074416 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) R 13929 13929 13631 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 15 0 446257312 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932020021872 139932556704386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15144776 memory=140120443238016 CPUtime=0.02 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) R 13929 13929 13631 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 446257312 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932018969328 139932556705174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15144776 memory=140120443238016 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257313 15508250624 7514 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31504 KiB
[startup+0.210658 s]*
/proc/loadavg: 7.77 7.59 4.72 5/228 13945
/proc/meminfo: memFree=31106176/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15144776 memory=41712 CPUtime=0.34 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 9053 0 0 0 31 3 0 0 20 0 15 0 446257307 15508250624 10428 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3786194 10428 3323 1 0 3748377 0
[pid=13931/tid=13932] ppid=13929 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13631 0 -1 4202560 6215 0 0 0 18 2 0 0 20 0 15 0 446257307 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932560924560 139932556714586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15144776 memory=140120443251930 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446257308 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15144776 memory=140120443238016 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446257309 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446257309 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932024230816 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446257310 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932023178224 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) R 13929 13929 13631 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 446257312 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932021074416 139932556704386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13631 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 446257312 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932020021872 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15144776 memory=140120443238016 CPUtime=0.07 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) R 13929 13929 13631 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 15 0 446257312 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932018969328 139932541070359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257313 15508250624 10428 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43160 KiB
[startup+0.314591 s]*
/proc/loadavg: 7.77 7.59 4.72 7/228 13945
/proc/meminfo: memFree=31094840/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15149032 memory=50156 CPUtime=0.54 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 10390 0 0 0 50 4 0 0 20 0 15 0 446257307 15512608768 12539 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3787258 12539 3360 1 0 3748377 0
[pid=13931/tid=13932] ppid=13929 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13631 0 -1 4202560 7353 0 0 0 28 2 0 0 20 0 15 0 446257307 15512608768 12539 33554432000 4194304 4196468 140729945256256 139932560924352 139932539891629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446257308 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446257309 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446257309 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932024230816 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446257310 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932023178224 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) R 13929 13929 13631 0 -1 1077944384 420 0 0 0 4 0 0 0 20 0 15 0 446257312 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932021074416 139932556704386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) R 13929 13929 13631 0 -1 4202560 521 0 0 0 5 0 0 0 20 0 15 0 446257312 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932020012256 139932541615221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13631 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 15 0 446257312 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932018969328 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257313 15512608768 12604 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51604 KiB
[startup+0.700787 s]
/proc/loadavg: 7.77 7.59 4.72 9/228 13945
/proc/meminfo: memFree=31040112/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15151156 memory=93724 CPUtime=1.72 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 15056 0 0 0 166 6 0 0 20 0 15 0 446257307 15514783744 23431 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3787789 23431 3446 1 0 3748889 0
[pid=13931/tid=13932] ppid=13929 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13631 0 -1 4202560 8748 0 0 0 64 4 0 0 20 0 15 0 446257307 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932560930384 139932198528037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257308 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446257308 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15151156 memory=35272 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446257309 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446257309 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932024230816 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446257310 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932023178224 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15151156 memory=1548 CPUtime=0.31 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) R 13929 13929 13631 0 -1 4202560 1520 0 0 0 31 0 0 0 20 0 15 0 446257312 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932021060208 139932540185661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15151156 memory=7396 CPUtime=0.33 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) R 13929 13929 13631 0 -1 4202560 1588 0 0 0 33 0 0 0 20 0 15 0 446257312 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932020013200 139932538237398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15151156 memory=4000 CPUtime=0.37 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13631 0 -1 1077944384 1893 0 0 0 37 0 0 0 20 0 15 0 446257312 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932018969328 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446257312 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446257313 15514783744 23431 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95172 KiB
[startup+1.50079 s]
/proc/loadavg: 7.77 7.59 4.72 4/228 13945
/proc/meminfo: memFree=30897684/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1316 0 0 0 2 0 0 0 20 0 19 0 446257313 15858741248 530512 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14019] ppid=13929 vsize=15487052 memory=2122048 CPUtime=41.7 cores=0,2,4,6
/proc/13931/task/14019/stat : 14019 (java) R 13929 13929 13631 0 -1 4202560 1650 0 0 0 4170 0 0 0 20 0 19 0 446259920 15858741248 530512 33554432000 4194304 4196468 140729945256256 139932005546912 139932202905843 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14020] ppid=13929 vsize=15487052 memory=7396 CPUtime=42.25 cores=0,2,4,6
/proc/13931/task/14020/stat : 14020 (java) R 13929 13929 13631 0 -1 4202560 3142 0 0 0 4225 0 0 0 20 0 19 0 446259920 15858741248 530512 33554432000 4194304 4196468 140729945256256 139932004495816 139932202663928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14021] ppid=13929 vsize=15487052 memory=4000 CPUtime=42.37 cores=0,2,4,6
/proc/13931/task/14021/stat : 14021 (java) R 13929 13929 13631 0 -1 4202560 2572 0 0 0 4237 0 0 0 20 0 19 0 446259920 15858741248 530512 33554432000 4194304 4196468 140729945256256 139932003443928 139932202905423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14022] ppid=13929 vsize=15487052 memory=616 CPUtime=42.27 cores=0,2,4,6
/proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13631 0 -1 4202560 2409 0 0 0 4227 0 0 0 20 0 19 0 446259920 15858741248 530512 33554432000 4194304 4196468 140729945256256 139932000284680 139932202906184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 236.07 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 2123496 KiB
[startup+70.4015 s]
/proc/loadavg: 7.17 7.42 4.87 6/232 14104
/proc/meminfo: memFree=26015764/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15487052 memory=2122088 CPUtime=242.43 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 100701 0 0 0 24029 214 0 0 20 0 19 0 446257307 15858741248 530522 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3871763 530522 3548 1 0 3832863 0
[pid=13931/tid=13932] ppid=13929 vsize=15487052 memory=6791534058613427641 CPUtime=12.9 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) S 13929 13929 13631 0 -1 1077944384 11803 0 0 0 1280 10 0 0 20 0 19 0 446257307 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932560934016 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15487052 memory=2122048 CPUtime=1.61 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 4010 0 0 0 113 48 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15487052 memory=2016 CPUtime=1.61 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1898 0 0 0 114 47 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15487052 memory=1412 CPUtime=1.64 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 3573 0 0 0 115 49 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15487052 memory=1548 CPUtime=1.59 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2554 0 0 0 112 47 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15487052 memory=516 CPUtime=0.61 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 4008 0 0 0 60 1 0 0 20 0 19 0 446257309 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15487052 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 446257309 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932024230880 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15487052 memory=928 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 446257310 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932023178240 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15487052 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15487052 memory=904 CPUtime=3.49 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13631 0 -1 1077944384 19015 0 0 0 348 1 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932021074416 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15487052 memory=1444 CPUtime=3.48 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13631 0 -1 1077944384 17848 0 0 0 346 2 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932020021872 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15487052 memory=1976 CPUtime=1.09 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13631 0 -1 1077944384 15017 0 0 0 107 2 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932018969328 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15487052 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15487052 memory=3624 CPUtime=0.02 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1316 0 0 0 2 0 0 0 20 0 19 0 446257313 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14019] ppid=13929 vsize=15487052 memory=35272 CPUtime=43.18 cores=0,2,4,6
/proc/13931/task/14019/stat : 14019 (java) R 13929 13929 13631 0 -1 4202560 1663 0 0 0 4318 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932005546976 139932202663987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14020] ppid=13929 vsize=15487052 memory=1448 CPUtime=43.73 cores=0,2,4,6
/proc/13931/task/14020/stat : 14020 (java) R 13929 13929 13631 0 -1 4202560 3203 0 0 0 4373 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932004495816 139932202904008 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14021] ppid=13929 vsize=15487052 memory=1548 CPUtime=43.86 cores=0,2,4,6
/proc/13931/task/14021/stat : 14021 (java) R 13929 13929 13631 0 -1 4202560 2575 0 0 0 4386 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932003444024 139932205037248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14022] ppid=13929 vsize=15487052 memory=7396 CPUtime=43.75 cores=0,2,4,6
/proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13631 0 -1 4202560 2424 0 0 0 4375 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932000286272 139932202905543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 242.43 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 2123536 KiB
[startup+71.2015 s]
/proc/loadavg: 7.17 7.42 4.87 6/232 14104
/proc/meminfo: memFree=26015644/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15487052 memory=2122088 CPUtime=245.61 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 100709 0 0 0 24347 214 0 0 20 0 19 0 446257307 15858741248 530522 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3871763 530522 3548 1 0 3832863 0
[pid=13931/tid=13932] ppid=13929 vsize=15487052 memory=0 CPUtime=12.9 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) S 13929 13929 13631 0 -1 1077944384 11803 0 0 0 1280 10 0 0 20 0 19 0 446257307 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932560934016 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15487052 memory=35272 CPUtime=1.61 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 4010 0 0 0 113 48 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15487052 memory=6791534058613427641 CPUtime=1.61 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1898 0 0 0 114 47 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15487052 memory=35272 CPUtime=1.64 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 3573 0 0 0 115 49 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15487052 memory=984 CPUtime=1.59 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2554 0 0 0 112 47 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15487052 memory=2016 CPUtime=0.61 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 4008 0 0 0 60 1 0 0 20 0 19 0 446257309 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15487052 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 446257309 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932024230880 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15487052 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 446257310 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932023178240 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15487052 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15487052 memory=6044 CPUtime=3.49 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13631 0 -1 1077944384 19015 0 0 0 348 1 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932021074416 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15487052 memory=784 CPUtime=3.48 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13631 0 -1 1077944384 17848 0 0 0 346 2 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932020021872 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15487052 memory=1060 CPUtime=1.09 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13631 0 -1 1077944384 15017 0 0 0 107 2 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932018969328 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15487052 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15487052 memory=15440 CPUtime=0.02 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1316 0 0 0 2 0 0 0 20 0 19 0 446257313 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14019] ppid=13929 vsize=15487052 memory=14056 CPUtime=43.98 cores=0,2,4,6
/proc/13931/task/14019/stat : 14019 (java) R 13929 13929 13631 0 -1 4202560 1663 0 0 0 4398 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932005546976 139932202663964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14020] ppid=13929 vsize=15487052 memory=6791534058613427641 CPUtime=44.51 cores=0,2,4,6
/proc/13931/task/14020/stat : 14020 (java) R 13929 13929 13631 0 -1 4202560 3206 0 0 0 4451 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932004495816 139932202903872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14021] ppid=13929 vsize=15487052 memory=2016 CPUtime=44.66 cores=0,2,4,6
/proc/13931/task/14021/stat : 14021 (java) R 13929 13929 13631 0 -1 4202560 2578 0 0 0 4466 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932003444024 139932202664007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14022] ppid=13929 vsize=15487052 memory=1412 CPUtime=44.55 cores=0,2,4,6
/proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13631 0 -1 4202560 2426 0 0 0 4455 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932000286272 139932202830327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 245.61 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 2123536 KiB
[startup+71.6015 s]
/proc/loadavg: 7.17 7.42 4.87 6/232 14104
/proc/meminfo: memFree=26015644/32770624 swapFree=66939784/67108860
[pid=13929] ppid=13926 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13631 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446257306 115843072 362 33554432000 4194304 5098028 140731648089760 140731648087864 139804075963004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30253056 140731648095098 140731648095341 140731648095341 140731648098250 0
/proc/13929/statm: 28282 362 304 221 0 87 0
[pid=13931] ppid=13929 vsize=15487052 memory=2122088 CPUtime=247.21 cores=0,2,4,6
/proc/13931/stat : 13931 (java) S 13929 13929 13631 0 -1 1077944320 100713 0 0 0 24507 214 0 0 20 0 19 0 446257307 15858741248 530522 33554432000 4194304 4196468 140729945256256 140729945238800 139932556693239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
/proc/13931/statm: 3871763 530522 3548 1 0 3832863 0
[pid=13931/tid=13932] ppid=13929 vsize=15487052 memory=1448 CPUtime=12.9 cores=0,2,4,6
/proc/13931/task/13932/stat : 13932 (java) S 13929 13929 13631 0 -1 1077944384 11803 0 0 0 1280 10 0 0 20 0 19 0 446257307 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932560934016 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13933] ppid=13929 vsize=15487052 memory=3624 CPUtime=1.61 cores=0,2,4,6
/proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13631 0 -1 1077944384 4010 0 0 0 113 48 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932149455632 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13934] ppid=13929 vsize=15487052 memory=35272 CPUtime=1.61 cores=0,2,4,6
/proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13631 0 -1 1077944384 1898 0 0 0 114 47 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932148403088 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13935] ppid=13929 vsize=15487052 memory=3624 CPUtime=1.64 cores=0,2,4,6
/proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13631 0 -1 1077944384 3573 0 0 0 115 49 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932147350544 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13936] ppid=13929 vsize=15487052 memory=35272 CPUtime=1.59 cores=0,2,4,6
/proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13631 0 -1 1077944384 2554 0 0 0 112 47 0 0 20 0 19 0 446257308 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932146298000 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13937] ppid=13929 vsize=15487052 memory=984 CPUtime=0.61 cores=0,2,4,6
/proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13631 0 -1 1077944384 4008 0 0 0 60 1 0 0 20 0 19 0 446257309 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932025284592 139932556704386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13938] ppid=13929 vsize=15487052 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13631 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 446257309 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932024230880 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13939] ppid=13929 vsize=15487052 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13631 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 446257310 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932023178240 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13940] ppid=13929 vsize=15487052 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932022126800 139932556711835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13941] ppid=13929 vsize=15487052 memory=7396 CPUtime=3.49 cores=0,2,4,6
/proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13631 0 -1 1077944384 19015 0 0 0 348 1 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932021074416 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13942] ppid=13929 vsize=15487052 memory=4000 CPUtime=3.48 cores=0,2,4,6
/proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13631 0 -1 1077944384 17848 0 0 0 346 2 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932020021872 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13943] ppid=13929 vsize=15487052 memory=616 CPUtime=1.09 cores=0,2,4,6
/proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13631 0 -1 1077944384 15017 0 0 0 107 2 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932018969328 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13944] ppid=13929 vsize=15487052 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446257312 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932017917024 139932556703445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=13945] ppid=13929 vsize=15487052 memory=1624 CPUtime=0.02 cores=0,2,4,6
/proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13631 0 -1 1077944384 1316 0 0 0 2 0 0 0 20 0 19 0 446257313 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932016863536 139932556704386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14019] ppid=13929 vsize=15487052 memory=1136 CPUtime=44.38 cores=0,2,4,6
/proc/13931/task/14019/stat : 14019 (java) R 13929 13929 13631 0 -1 4202560 1663 0 0 0 4438 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932005546976 139932202831131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14020] ppid=13929 vsize=15487052 memory=1072 CPUtime=44.91 cores=0,2,4,6
/proc/13931/task/14020/stat : 14020 (java) R 13929 13929 13631 0 -1 4202560 3207 0 0 0 4491 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932004495816 139932202602552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14021] ppid=13929 vsize=15487052 memory=6044 CPUtime=45.06 cores=0,2,4,6
/proc/13931/task/14021/stat : 14021 (java) R 13929 13929 13631 0 -1 4202560 2578 0 0 0 4506 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932003444024 139932202603893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
[pid=13931/tid=14022] ppid=13929 vsize=15487052 memory=784 CPUtime=44.95 cores=0,2,4,6
/proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13631 0 -1 4202560 2429 0 0 0 4495 0 0 0 20 0 19 0 446259920 15858741248 530522 33554432000 4194304 4196468 140729945256256 139932000286272 139932197788416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26460160 140729945265135 140729945265306 140729945265306 140729945268175 0
Current children cumulated CPU time: 247.21 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 2123536 KiB
Child status: 0
Real time (s): 71.6362
CPU time (s): 247.294
CPU user time (s): 245.135
CPU system time (s): 2.15914
CPU usage (%): 345.208
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 2123536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.135
system time used= 2.15914
maximum resident set size= 2122300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5364
involuntary context switches= 6214
# summary of solver processes directly reported to runsolver:
# pid: 13929
# total CPU time (s): 247.294
# total CPU user time (s): 245.135
# total CPU system time (s): 2.15914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.472359 second user time and 0.81884 second system time
The end