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 (14582 MiB free)
memory of node 1: 16384 MiB (15191 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400503-1568694665/watcher-4400503-1568694665 -o /tmp/evaluation-result-4400503-1568694665/solver-4400503-1568694665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1564833414 HOME/instance-4400503-1568694665.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
solver pid=2049, runsolver pid=2046
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 8.16 6.29 3.71 7/233 2065
/proc/meminfo: memFree=30476580/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15144776 memory=29044 CPUtime=0.12 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 5643 0 0 0 11 1 0 0 20 0 15 0 445735342 15508250624 7261 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3786194 7261 3164 1 0 3748377 0
[pid=2051/tid=2052] ppid=2049 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) R 2049 2049 30406 0 -1 4202560 3571 0 0 0 9 0 0 0 20 0 15 0 445735342 15508250624 7261 33554432000 4194304 4196468 140733540771520 140638191733760 140638187515286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 7261 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15144776 memory=288230376155018786 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 7261 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 7261 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 7261 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445735345 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445735345 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637060486048 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445735345 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637059433456 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) R 2049 2049 30406 0 -1 4202560 409 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637057329648 140638187515286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) R 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637056277104 140638187514498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15144776 memory=139731186165376 CPUtime=0.02 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) R 2049 2049 30406 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 445735348 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637055224560 140638179740478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 7261 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210779 s]*
/proc/loadavg: 8.16 6.29 3.71 6/233 2065
/proc/meminfo: memFree=30463000/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15144776 memory=41196 CPUtime=0.34 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 9477 0 0 0 31 3 0 0 20 0 15 0 445735342 15508250624 10299 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3786194 10299 3313 1 0 3748377 0
[pid=2051/tid=2052] ppid=2049 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) R 2049 2049 30406 0 -1 4202560 6601 0 0 0 18 1 0 0 20 0 15 0 445735342 15508250624 10299 33554432000 4194304 4196468 140733540771520 140638191736080 140638187515286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15144776 memory=4296914231 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 10299 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15144776 memory=139731186191128 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 10299 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 10299 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445735343 15508250624 10299 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15144776 memory=139731186165376 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445735345 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445735345 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637060486048 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445735345 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637059433456 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) S 2049 2049 30406 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 445735348 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637057329648 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) S 2049 2049 30406 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 445735348 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637056277104 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15144776 memory=139731186165376 CPUtime=0.07 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) R 2049 2049 30406 0 -1 4202560 733 0 0 0 7 0 0 0 20 0 15 0 445735348 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637055224560 140638165993904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735348 15508250624 10299 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42644 KiB
[startup+0.313345 s]*
/proc/loadavg: 8.16 6.29 3.71 7/233 2065
/proc/meminfo: memFree=30455676/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15149032 memory=49908 CPUtime=0.53 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 10837 0 0 0 49 4 0 0 20 0 15 0 445735342 15512608768 12477 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3787258 12477 3359 1 0 3748377 0
[pid=2051/tid=2052] ppid=2049 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) R 2049 2049 30406 0 -1 4202560 7762 0 0 0 28 2 0 0 20 0 15 0 445735342 15512608768 12477 33554432000 4194304 4196468 140733540771520 140638191737136 140638171583838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15149032 memory=928 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15512608768 12477 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15149032 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15512608768 12477 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735343 15512608768 12477 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445735343 15512608768 12477 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445735345 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445735345 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637060486048 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445735345 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637059433456 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15149032 memory=-1598831813028945288 CPUtime=0.04 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) S 2049 2049 30406 0 -1 1077944384 512 0 0 0 4 0 0 0 20 0 15 0 445735348 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637057329648 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15149032 memory=6944656592455097440 CPUtime=0.04 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) R 2049 2049 30406 0 -1 4202560 473 0 0 0 4 0 0 0 20 0 15 0 445735348 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637056258120 140638166750716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15149032 memory=6944656592455097440 CPUtime=0.12 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) S 2049 2049 30406 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 15 0 445735348 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637055224560 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445735348 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15149032 memory=-1751206868705893467 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445735348 15512608768 12477 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51356 KiB
[startup+0.708859 s]
/proc/loadavg: 8.16 6.29 3.71 11/237 2069
/proc/meminfo: memFree=30434992/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15418440 memory=128528 CPUtime=1.77 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 14947 0 0 0 171 6 0 0 20 0 20 0 445735342 15788482560 32132 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3854610 32132 3467 1 0 3815710 0
[pid=2051/tid=2052] ppid=2049 vsize=15418440 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) S 2049 2049 30406 0 -1 1077944384 8889 0 0 0 46 3 0 0 20 0 20 0 445735342 15788482560 32132 33554432000 4194304 4196468 140733540771520 140638191744128 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445735343 15788482560 32132 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445735343 15788482560 32132 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445735343 15788482560 32132 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15418440 memory=4137303382726774134 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445735343 15788482560 32132 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15418440 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 445735345 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15418440 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 445735345 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637060486048 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15418440 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 445735345 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637059433456 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15418440 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445735348 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15418440 memory=1056 CPUtime=0.29 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) R 2049 2049 30406 0 -1 4202560 1413 0 0 0 29 0 0 0 20 0 20 0 445735348 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637057310664 140638167158561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15418440 memory=1188 CPUtime=0.28 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) R 2049 2049 30406 0 -1 4202560 1035 0 0 0 28 0 0 0 20 0 20 0 445735348 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637056263672 140638169024742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15418440 memory=1536 CPUtime=0.3 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) R 2049 2049 30406 0 -1 1077944384 1633 0 0 0 30 0 0 0 20 0 20 0 445735348 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637055224560 140638187514498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15418440 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445735348 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15418440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445735348 15788482560 32132 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 129976 KiB
[startup+1.50086 s]
/proc/loadavg: 8.16 6.29 3.71 11/236 2156
/proc/meminfo: memFree=30334624/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2238] ppid=2049 vsize=15551568 memory=6946866654921323415 CPUtime=18.49 cores=0,2,4,6
/proc/2051/task/2238/stat : 2238 (java) R 2049 2049 30406 0 -1 4202560 309 0 0 0 1849 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637040742248 140637785078111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2239] ppid=2049 vsize=15551568 memory=8305315425968087136 CPUtime=18.53 cores=0,2,4,6
/proc/2051/task/2239/stat : 2239 (java) R 2049 2049 30406 0 -1 4202560 928 0 0 0 1853 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637039692032 140637785548336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2240] ppid=2049 vsize=15551568 memory=6944656626178237591 CPUtime=18.55 cores=0,2,4,6
/proc/2051/task/2240/stat : 2240 (java) R 2049 2049 30406 0 -1 4202560 321 0 0 0 1855 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637042848936 140637785736012 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2241] ppid=2049 vsize=15551568 memory=-7965950325593906079 CPUtime=18.55 cores=0,2,4,6
/proc/2051/task/2241/stat : 2241 (java) R 2049 2049 30406 0 -1 4202560 435 0 0 0 1855 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637037584432 140637782387008 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 83.46 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 165424 KiB
[startup+22.4009 s]
/proc/loadavg: 8.42 6.46 3.83 10/237 2337
/proc/meminfo: memFree=30329756/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15551568 memory=163976 CPUtime=86.64 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 30024 0 0 0 8650 14 0 0 20 0 19 0 445735342 15924805632 40994 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3887892 40994 3508 1 0 3848992 0
[pid=2051/tid=2052] ppid=2049 vsize=15551568 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) S 2049 2049 30406 0 -1 1077944384 8894 0 0 0 47 3 0 0 20 0 19 0 445735342 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638191744128 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15551568 memory=4486604260213485459 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 270 0 0 0 4 2 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15551568 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 605 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15551568 memory=4156 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 602 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15551568 memory=1056 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 1174 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15551568 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 726 0 0 0 5 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15551568 memory=47980 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637060486112 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15551568 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637059433472 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15551568 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15551568 memory=163976 CPUtime=1.08 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) S 2049 2049 30406 0 -1 1077944384 3832 0 0 0 108 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637057329648 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15551568 memory=161760 CPUtime=1 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) S 2049 2049 30406 0 -1 1077944384 4450 0 0 0 100 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637056277104 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15551568 memory=47980 CPUtime=0.42 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) S 2049 2049 30406 0 -1 1077944384 2571 0 0 0 42 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637055224560 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15551568 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15551568 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2238] ppid=2049 vsize=15551568 memory=47980 CPUtime=19.28 cores=0,2,4,6
/proc/2051/task/2238/stat : 2238 (java) R 2049 2049 30406 0 -1 4202560 311 0 0 0 1928 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637040742248 140637785736153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2239] ppid=2049 vsize=15551568 memory=988 CPUtime=19.31 cores=0,2,4,6
/proc/2051/task/2239/stat : 2239 (java) R 2049 2049 30406 0 -1 4202560 930 0 0 0 1931 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637039692032 140637785814314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2240] ppid=2049 vsize=15551568 memory=2024 CPUtime=19.34 cores=0,2,4,6
/proc/2051/task/2240/stat : 2240 (java) R 2049 2049 30406 0 -1 4202560 323 0 0 0 1934 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637042848936 140637785078631 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2241] ppid=2049 vsize=15551568 memory=1384 CPUtime=19.35 cores=0,2,4,6
/proc/2051/task/2241/stat : 2241 (java) R 2049 2049 30406 0 -1 4202560 435 0 0 0 1935 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637037583856 140637786285830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 86.64 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 165424 KiB
[startup+22.8009 s]
/proc/loadavg: 8.42 6.46 3.83 10/237 2337
/proc/meminfo: memFree=30329756/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15551568 memory=163976 CPUtime=88.23 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 30039 0 0 0 8809 14 0 0 20 0 19 0 445735342 15924805632 40994 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3887892 40994 3508 1 0 3848992 0
[pid=2051/tid=2052] ppid=2049 vsize=15551568 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) S 2049 2049 30406 0 -1 1077944384 8894 0 0 0 47 3 0 0 20 0 19 0 445735342 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638191744128 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15551568 memory=1869 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 270 0 0 0 4 2 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15551568 memory=1873 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 612 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15551568 memory=1875 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 605 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15551568 memory=1875 CPUtime=0.07 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 1175 0 0 0 6 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15551568 memory=1016 CPUtime=0.05 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 726 0 0 0 5 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15551568 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637060486112 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15551568 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637059433472 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15551568 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15551568 memory=26024 CPUtime=1.08 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) S 2049 2049 30406 0 -1 1077944384 3832 0 0 0 108 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637057329648 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15551568 memory=14068 CPUtime=1 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) S 2049 2049 30406 0 -1 1077944384 4450 0 0 0 100 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637056277104 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15551568 memory=524 CPUtime=0.42 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) S 2049 2049 30406 0 -1 1077944384 2571 0 0 0 42 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637055224560 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15551568 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15551568 memory=928 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) R 2049 2049 30406 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2238] ppid=2049 vsize=15551568 memory=1448 CPUtime=19.68 cores=0,2,4,6
/proc/2051/task/2238/stat : 2238 (java) R 2049 2049 30406 0 -1 4202560 312 0 0 0 1968 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637040742112 140637785078557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2239] ppid=2049 vsize=15551568 memory=161692 CPUtime=19.71 cores=0,2,4,6
/proc/2051/task/2239/stat : 2239 (java) R 2049 2049 30406 0 -1 4202560 930 0 0 0 1971 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637039692032 140637785814431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2240] ppid=2049 vsize=15551568 memory=2512 CPUtime=19.74 cores=0,2,4,6
/proc/2051/task/2240/stat : 2240 (java) R 2049 2049 30406 0 -1 4202560 324 0 0 0 1974 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637042848176 140638167213799 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2241] ppid=2049 vsize=15551568 memory=8112282956445269571 CPUtime=19.74 cores=0,2,4,6
/proc/2051/task/2241/stat : 2241 (java) R 2049 2049 30406 0 -1 4202560 437 0 0 0 1974 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637037583592 140637786347237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 88.23 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 165424 KiB
[startup+22.9009 s]
/proc/loadavg: 8.42 6.46 3.83 10/237 2337
/proc/meminfo: memFree=30329756/32770624 swapFree=66953076/67108860
[pid=2049] ppid=2046 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (xcsp3-exec) S 2046 2049 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445735342 115843072 362 33554432000 4194304 5098028 140721131342752 140721131340856 139745525109372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16572416 140721131344762 140721131345005 140721131345005 140721131347914 0
/proc/2049/statm: 28282 362 304 221 0 87 0
[pid=2051] ppid=2049 vsize=15551568 memory=163976 CPUtime=88.6 cores=0,2,4,6
/proc/2051/stat : 2051 (java) S 2049 2049 30406 0 -1 1077944320 30041 0 0 0 8846 14 0 0 20 0 19 0 445735342 15924805632 40994 33554432000 4194304 4196468 140733540771520 140733540754064 140638187503351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
/proc/2051/statm: 3887892 40994 3508 1 0 3848992 0
[pid=2051/tid=2052] ppid=2049 vsize=15551568 memory=161740 CPUtime=0.5 cores=0,2,4,6
/proc/2051/task/2052/stat : 2052 (java) S 2049 2049 30406 0 -1 1077944384 8894 0 0 0 47 3 0 0 20 0 19 0 445735342 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638191744128 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2053] ppid=2049 vsize=15551568 memory=163976 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2053/stat : 2053 (java) S 2049 2049 30406 0 -1 1077944384 270 0 0 0 4 2 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638115543824 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2054] ppid=2049 vsize=15551568 memory=163976 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2054/stat : 2054 (java) S 2049 2049 30406 0 -1 1077944384 612 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638114491280 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2055] ppid=2049 vsize=15551568 memory=163976 CPUtime=0.06 cores=0,2,4,6
/proc/2051/task/2055/stat : 2055 (java) S 2049 2049 30406 0 -1 1077944384 605 0 0 0 5 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638113438736 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2056] ppid=2049 vsize=15551568 memory=1656 CPUtime=0.07 cores=0,2,4,6
/proc/2051/task/2056/stat : 2056 (java) S 2049 2049 30406 0 -1 1077944384 1176 0 0 0 6 1 0 0 20 0 19 0 445735343 15924805632 40994 33554432000 4194304 4196468 140733540771520 140638112386192 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2057] ppid=2049 vsize=15551568 memory=-6804530833007812508 CPUtime=0.05 cores=0,2,4,6
/proc/2051/task/2057/stat : 2057 (java) S 2049 2049 30406 0 -1 1077944384 726 0 0 0 5 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637061539824 140638187514498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2058] ppid=2049 vsize=15551568 memory=6958453264360695866 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2058/stat : 2058 (java) S 2049 2049 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637060486112 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2059] ppid=2049 vsize=15551568 memory=163976 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2059/stat : 2059 (java) S 2049 2049 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445735345 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637059433472 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2060] ppid=2049 vsize=15551568 memory=161928 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2060/stat : 2060 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637058382032 140638187521947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2061] ppid=2049 vsize=15551568 memory=1448 CPUtime=1.08 cores=0,2,4,6
/proc/2051/task/2061/stat : 2061 (java) S 2049 2049 30406 0 -1 1077944384 3832 0 0 0 108 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637057329648 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2062] ppid=2049 vsize=15551568 memory=160152 CPUtime=1 cores=0,2,4,6
/proc/2051/task/2062/stat : 2062 (java) S 2049 2049 30406 0 -1 1077944384 4450 0 0 0 100 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637056277104 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2063] ppid=2049 vsize=15551568 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/2051/task/2063/stat : 2063 (java) S 2049 2049 30406 0 -1 1077944384 2571 0 0 0 42 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637055224560 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2064] ppid=2049 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2064/stat : 2064 (java) S 2049 2049 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637054172256 140638187513557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2065] ppid=2049 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2051/task/2065/stat : 2065 (java) S 2049 2049 30406 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 19 0 445735348 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637053118768 140638187514498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2238] ppid=2049 vsize=15551568 memory=0 CPUtime=19.78 cores=0,2,4,6
/proc/2051/task/2238/stat : 2238 (java) R 2049 2049 30406 0 -1 4202560 313 0 0 0 1978 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637040742248 140637785078604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2239] ppid=2049 vsize=15551568 memory=163976 CPUtime=19.81 cores=0,2,4,6
/proc/2051/task/2239/stat : 2239 (java) R 2049 2049 30406 0 -1 4202560 930 0 0 0 1981 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637039690544 140637786346304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2240] ppid=2049 vsize=15551568 memory=1448 CPUtime=19.83 cores=0,2,4,6
/proc/2051/task/2240/stat : 2240 (java) R 2049 2049 30406 0 -1 4202560 324 0 0 0 1983 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637042848936 140637784839957 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
[pid=2051/tid=2241] ppid=2049 vsize=15551568 memory=163976 CPUtime=19.83 cores=0,2,4,6
/proc/2051/task/2241/stat : 2241 (java) R 2049 2049 30406 0 -1 4202560 437 0 0 0 1983 0 0 0 20 0 19 0 445735592 15924805632 40994 33554432000 4194304 4196468 140733540771520 140637037585904 140637786348513 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13168640 140733540774895 140733540775066 140733540775066 140733540777935 0
Current children cumulated CPU time: 88.6 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 165424 KiB
Child status: 0
Real time (s): 22.9559
CPU time (s): 88.8121
CPU user time (s): 88.6589
CPU system time (s): 0.153162
CPU usage (%): 386.881
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 198264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.6589
system time used= 0.153162
maximum resident set size= 198864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5411
involuntary context switches= 1955
# summary of solver processes directly reported to runsolver:
# pid: 2049
# total CPU time (s): 88.8121
# total CPU user time (s): 88.6589
# total CPU system time (s): 0.153162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.156662 second user time and 0.303101 second system time
The end