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 (9401 MiB free)
memory of node 1: 16384 MiB (12189 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394071-1568335116/watcher-4394071-1568335116 -o /tmp/evaluation-result-4394071-1568335116/solver-4394071-1568335116 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1719364526 HOME/instance-4394071-1568335116.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32263, runsolver pid=32260
[startup+0.100082 s]*
/proc/loadavg: 8.73 8.56 8.44 6/233 32279
/proc/meminfo: memFree=22092988/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15144768 memory=30096 CPUtime=0.12 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 5491 0 0 0 11 1 0 0 20 0 15 0 409426565 15508242432 7524 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3786192 7524 3118 1 0 3748377 0
[pid=32265/tid=32266] ppid=32263 vsize=15144768 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) R 32263 32263 19528 0 -1 4202560 3392 0 0 0 8 0 0 0 20 0 15 0 409426565 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156634326352 140156630115485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15144768 memory=139894928254592 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15144768 memory=139894928254592 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409426568 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409426568 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156097737888 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409426568 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156096684784 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) S 32263 32263 19528 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156094581488 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) S 32263 32263 19528 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156093528944 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15144768 memory=139894928254592 CPUtime=0.02 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) S 32263 32263 19528 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 409426571 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156092475888 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15144768 memory=139894928254592 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 7524 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31544 KiB
[startup+0.210659 s]*
/proc/loadavg: 8.73 8.56 8.44 7/233 32279
/proc/meminfo: memFree=22080520/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15144768 memory=40868 CPUtime=0.34 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 8904 0 0 0 31 3 0 0 20 0 15 0 409426565 15508242432 10217 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3786192 10217 3306 1 0 3748377 0
[pid=32265/tid=32266] ppid=32263 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) R 32263 32263 19528 0 -1 4202560 6196 0 0 0 18 2 0 0 20 0 15 0 409426565 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156634323280 140156630105494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15144768 memory=10535 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15144768 memory=139894931239219 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409426566 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15144768 memory=139894928254592 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409426568 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409426568 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156097737888 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409426568 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156096684784 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) S 32263 32263 19528 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 409426571 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156094581488 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) S 32263 32263 19528 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 409426571 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156093528944 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15144768 memory=139894928254592 CPUtime=0.07 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) R 32263 32263 19528 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 15 0 409426571 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156092475888 140156630114906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426571 15508242432 10217 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42316 KiB
[startup+0.310623 s]*
/proc/loadavg: 8.73 8.56 8.44 7/233 32279
/proc/meminfo: memFree=22076288/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15149024 memory=49960 CPUtime=0.53 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 10255 0 0 0 49 4 0 0 20 0 15 0 409426565 15512600576 12490 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3787256 12490 3374 1 0 3748377 0
[pid=32265/tid=32266] ppid=32263 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) R 32263 32263 19528 0 -1 4202560 7253 0 0 0 27 2 0 0 20 0 15 0 409426565 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156634330592 140156614174046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15149024 memory=-7377628852694597791 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409426566 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409426568 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409426568 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156097737888 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409426568 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156096684784 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15149024 memory=-7828588039587137883 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) R 32263 32263 19528 0 -1 4202560 512 0 0 0 4 0 0 0 20 0 15 0 409426571 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156094581488 140156610793856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) S 32263 32263 19528 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 15 0 409426571 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156093528944 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) S 32263 32263 19528 0 -1 1077944384 919 0 0 0 12 0 0 0 20 0 15 0 409426571 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156092475888 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426571 15512600576 12490 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51408 KiB
[startup+0.702828 s]
/proc/loadavg: 8.73 8.56 8.44 8/233 32279
/proc/meminfo: memFree=22059604/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15151148 memory=161460 CPUtime=1.69 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 14084 0 0 0 161 8 0 0 20 0 15 0 409426565 15514775552 40365 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3787787 40365 3453 1 0 3748889 0
[pid=32265/tid=32266] ppid=32263 vsize=15151148 memory=1436 CPUtime=0.67 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) R 32263 32263 19528 0 -1 4202560 8725 0 0 0 62 5 0 0 20 0 15 0 409426565 15514775552 40365 33554432000 4194304 4196468 140731259920544 140156634330552 140156270164966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15151148 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15514775552 40365 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15151148 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15514775552 40365 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15151148 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426566 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15151148 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409426566 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15151148 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409426568 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15151148 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409426568 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156097737888 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409426568 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156096684784 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15151148 memory=668 CPUtime=0.28 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) R 32263 32263 19528 0 -1 4202560 1223 0 0 0 28 0 0 0 20 0 15 0 409426571 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156094566288 140156609593841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15151148 memory=1232 CPUtime=0.29 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) R 32263 32263 19528 0 -1 4202560 965 0 0 0 29 0 0 0 20 0 15 0 409426571 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156093516320 140156610793096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15151148 memory=1064 CPUtime=0.39 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) R 32263 32263 19528 0 -1 1077944384 1865 0 0 0 39 0 0 0 20 0 15 0 409426571 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156092472336 140156630103765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15151148 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409426571 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15151148 memory=21208 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409426571 15514775552 40877 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 162908 KiB
[startup+1.50076 s]
/proc/loadavg: 8.73 8.56 8.44 9/236 32282
/proc/meminfo: memFree=21714148/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 895 0 0 0 1 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32371] ppid=32263 vsize=15685708 memory=0 CPUtime=4.38 cores=0,2,4,6
/proc/32265/task/32371/stat : 32371 (java) S 32263 32263 19528 0 -1 1077944384 333 0 0 0 438 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156073803424 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32372] ppid=32263 vsize=15685708 memory=0 CPUtime=4.3 cores=0,2,4,6
/proc/32265/task/32372/stat : 32372 (java) S 32263 32263 19528 0 -1 1077944384 712 0 0 0 430 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156071699152 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32373] ppid=32263 vsize=15685708 memory=-1 CPUtime=4.37 cores=0,2,4,6
/proc/32265/task/32373/stat : 32373 (java) S 32263 32263 19528 0 -1 1077944384 722 0 0 0 437 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156072751952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32374] ppid=32263 vsize=15685708 memory=2362232013252 CPUtime=11.84 cores=0,2,4,6
/proc/32265/task/32374/stat : 32374 (java) R 32263 32263 19528 0 -1 4202560 467 0 0 0 1184 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156081160408 140156275339811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 601472 KiB
[startup+36.401 s]
/proc/loadavg: 8.82 8.62 8.46 6/237 32374
/proc/meminfo: memFree=21499012/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15685708 memory=600024 CPUtime=102.67 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 56753 0 0 0 10217 50 0 0 20 0 19 0 409426565 16062164992 150006 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3921427 150006 3539 1 0 3882529 0
[pid=32265/tid=32266] ppid=32263 vsize=15685708 memory=920 CPUtime=0.83 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) S 32263 32263 19528 0 -1 1077944384 9453 0 0 0 77 6 0 0 20 0 19 0 409426565 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156634334336 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15685708 memory=3848 CPUtime=0.41 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1005 0 0 0 34 7 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15685708 memory=2944 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 422 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15685708 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 394 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15685708 memory=279789605239392 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 568 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15685708 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 3128 0 0 0 3 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15685708 memory=988 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156097737952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15685708 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156096684800 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15685708 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15685708 memory=4164 CPUtime=3.01 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) S 32263 32263 19528 0 -1 1077944384 11574 0 0 0 298 3 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156094581488 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15685708 memory=1548 CPUtime=2.43 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) S 32263 32263 19528 0 -1 1077944384 11246 0 0 0 242 1 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156093528944 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15685708 memory=1728 CPUtime=0.85 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) S 32263 32263 19528 0 -1 1077944384 6267 0 0 0 84 1 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156092475888 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15685708 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15685708 memory=9580 CPUtime=0.01 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 895 0 0 0 1 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32371] ppid=32263 vsize=15685708 memory=6791534058613427641 CPUtime=4.38 cores=0,2,4,6
/proc/32265/task/32371/stat : 32371 (java) S 32263 32263 19528 0 -1 1077944384 333 0 0 0 438 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156073803424 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32372] ppid=32263 vsize=15685708 memory=602776 CPUtime=4.3 cores=0,2,4,6
/proc/32265/task/32372/stat : 32372 (java) S 32263 32263 19528 0 -1 1077944384 712 0 0 0 430 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156071699152 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32373] ppid=32263 vsize=15685708 memory=446760 CPUtime=4.37 cores=0,2,4,6
/proc/32265/task/32373/stat : 32373 (java) S 32263 32263 19528 0 -1 1077944384 722 0 0 0 437 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156072751952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32374] ppid=32263 vsize=15685708 memory=6791534058613427641 CPUtime=12.23 cores=0,2,4,6
/proc/32265/task/32374/stat : 32374 (java) R 32263 32263 19528 0 -1 4202560 491 0 0 0 1223 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156081160408 140156275340277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 102.67 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 601472 KiB
[startup+36.601 s]
/proc/loadavg: 8.82 8.62 8.46 6/237 32374
/proc/meminfo: memFree=21499012/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15685708 memory=600024 CPUtime=102.87 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 56753 0 0 0 10237 50 0 0 20 0 19 0 409426565 16062164992 150006 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3921427 150006 3539 1 0 3882529 0
[pid=32265/tid=32266] ppid=32263 vsize=15685708 memory=988 CPUtime=0.83 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) S 32263 32263 19528 0 -1 1077944384 9453 0 0 0 77 6 0 0 20 0 19 0 409426565 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156634334336 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15685708 memory=2008 CPUtime=0.41 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1005 0 0 0 34 7 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15685708 memory=1436 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 422 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15685708 memory=4164 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 394 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15685708 memory=1548 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 568 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15685708 memory=1728 CPUtime=0.03 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 3128 0 0 0 3 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15685708 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156097737952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15685708 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156096684800 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15685708 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15685708 memory=776 CPUtime=3.01 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) S 32263 32263 19528 0 -1 1077944384 11574 0 0 0 298 3 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156094581488 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15685708 memory=2832 CPUtime=2.43 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) S 32263 32263 19528 0 -1 1077944384 11246 0 0 0 242 1 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156093528944 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15685708 memory=668 CPUtime=0.85 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) S 32263 32263 19528 0 -1 1077944384 6267 0 0 0 84 1 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156092475888 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15685708 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15685708 memory=1064 CPUtime=0.01 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 895 0 0 0 1 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32371] ppid=32263 vsize=15685708 memory=14008 CPUtime=4.38 cores=0,2,4,6
/proc/32265/task/32371/stat : 32371 (java) S 32263 32263 19528 0 -1 1077944384 333 0 0 0 438 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156073803424 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32372] ppid=32263 vsize=15685708 memory=21208 CPUtime=4.3 cores=0,2,4,6
/proc/32265/task/32372/stat : 32372 (java) S 32263 32263 19528 0 -1 1077944384 712 0 0 0 430 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156071699152 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32373] ppid=32263 vsize=15685708 memory=14056 CPUtime=4.37 cores=0,2,4,6
/proc/32265/task/32373/stat : 32373 (java) S 32263 32263 19528 0 -1 1077944384 722 0 0 0 437 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156072751952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32374] ppid=32263 vsize=15685708 memory=2116 CPUtime=12.43 cores=0,2,4,6
/proc/32265/task/32374/stat : 32374 (java) R 32263 32263 19528 0 -1 4202560 491 0 0 0 1243 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156081160408 140156275340255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 102.87 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 601472 KiB
[startup+36.701 s]
/proc/loadavg: 8.82 8.62 8.46 6/237 32374
/proc/meminfo: memFree=21499012/32770624 swapFree=66939828/67108860
[pid=32263] ppid=32260 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (xcsp3-exec) S 32260 32263 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409426565 115843072 362 33554432000 4194304 5098028 140722477097200 140722477095304 140627475399292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30851072 140722477106042 140722477106285 140722477106285 140722477109194 0
/proc/32263/statm: 28282 362 304 221 0 87 0
[pid=32265] ppid=32263 vsize=15685708 memory=600024 CPUtime=102.97 cores=0,2,4,6
/proc/32265/stat : 32265 (java) S 32263 32263 19528 0 -1 1077944320 56753 0 0 0 10247 50 0 0 20 0 19 0 409426565 16062164992 150006 33554432000 4194304 4196468 140731259920544 140731259903088 140156630093559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
/proc/32265/statm: 3921427 150006 3539 1 0 3882529 0
[pid=32265/tid=32266] ppid=32263 vsize=15685708 memory=600024 CPUtime=0.83 cores=0,2,4,6
/proc/32265/task/32266/stat : 32266 (java) S 32263 32263 19528 0 -1 1077944384 9453 0 0 0 77 6 0 0 20 0 19 0 409426565 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156634334336 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32267] ppid=32263 vsize=15685708 memory=1448 CPUtime=0.41 cores=0,2,4,6
/proc/32265/task/32267/stat : 32267 (java) S 32263 32263 19528 0 -1 1077944384 1005 0 0 0 34 7 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156595375120 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32268] ppid=32263 vsize=15685708 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32268/stat : 32268 (java) S 32263 32263 19528 0 -1 1077944384 422 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156221631632 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32269] ppid=32263 vsize=15685708 memory=1203 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32269/stat : 32269 (java) S 32263 32263 19528 0 -1 1077944384 394 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156220578576 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32270] ppid=32263 vsize=15685708 memory=1448 CPUtime=0.42 cores=0,2,4,6
/proc/32265/task/32270/stat : 32270 (java) S 32263 32263 19528 0 -1 1077944384 568 0 0 0 34 8 0 0 20 0 19 0 409426566 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156219526032 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32271] ppid=32263 vsize=15685708 memory=599684 CPUtime=0.03 cores=0,2,4,6
/proc/32265/task/32271/stat : 32271 (java) S 32263 32263 19528 0 -1 1077944384 3128 0 0 0 3 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156098791664 140156630104706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32272] ppid=32263 vsize=15685708 memory=600024 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32272/stat : 32272 (java) S 32263 32263 19528 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156097737952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32273] ppid=32263 vsize=15685708 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32273/stat : 32273 (java) S 32263 32263 19528 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 409426568 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156096684800 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32274] ppid=32263 vsize=15685708 memory=129 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32274/stat : 32274 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156095633360 140156630112155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32275] ppid=32263 vsize=15685708 memory=0 CPUtime=3.01 cores=0,2,4,6
/proc/32265/task/32275/stat : 32275 (java) S 32263 32263 19528 0 -1 1077944384 11574 0 0 0 298 3 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156094581488 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32276] ppid=32263 vsize=15685708 memory=1448 CPUtime=2.43 cores=0,2,4,6
/proc/32265/task/32276/stat : 32276 (java) S 32263 32263 19528 0 -1 1077944384 11246 0 0 0 242 1 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156093528944 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32277] ppid=32263 vsize=15685708 memory=599992 CPUtime=0.85 cores=0,2,4,6
/proc/32265/task/32277/stat : 32277 (java) S 32263 32263 19528 0 -1 1077944384 6267 0 0 0 84 1 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156092475888 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32278] ppid=32263 vsize=15685708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32265/task/32278/stat : 32278 (java) S 32263 32263 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156091423584 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32279] ppid=32263 vsize=15685708 memory=279789606176292 CPUtime=0.01 cores=0,2,4,6
/proc/32265/task/32279/stat : 32279 (java) S 32263 32263 19528 0 -1 1077944384 895 0 0 0 1 0 0 0 20 0 19 0 409426571 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156090370608 140156630104706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32371] ppid=32263 vsize=15685708 memory=1448 CPUtime=4.38 cores=0,2,4,6
/proc/32265/task/32371/stat : 32371 (java) S 32263 32263 19528 0 -1 1077944384 333 0 0 0 438 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156073803424 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32372] ppid=32263 vsize=15685708 memory=599992 CPUtime=4.3 cores=0,2,4,6
/proc/32265/task/32372/stat : 32372 (java) S 32263 32263 19528 0 -1 1077944384 712 0 0 0 430 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156071699152 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32373] ppid=32263 vsize=15685708 memory=924 CPUtime=4.37 cores=0,2,4,6
/proc/32265/task/32373/stat : 32373 (java) S 32263 32263 19528 0 -1 1077944384 722 0 0 0 437 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156072751952 140156630103765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
[pid=32265/tid=32374] ppid=32263 vsize=15685708 memory=7524781961281037676 CPUtime=12.53 cores=0,2,4,6
/proc/32265/task/32374/stat : 32374 (java) R 32263 32263 19528 0 -1 4202560 491 0 0 0 1253 0 0 0 20 0 19 0 409428979 16062164992 150006 33554432000 4194304 4196468 140731259920544 140156081160408 140156275339760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140731259929583 140731259929754 140731259929754 140731259932623 0
Current children cumulated CPU time: 102.97 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 601472 KiB
Child status: 0
Real time (s): 36.7734
CPU time (s): 103.047
CPU user time (s): 102.539
CPU system time (s): 0.508499
CPU usage (%): 280.222
Max. virtual memory (cumulated for all children) (KiB): 15798836
Max. memory (cumulated for all children) (KiB): 604224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.539
system time used= 0.508499
maximum resident set size= 602776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4384
involuntary context switches= 2396
# summary of solver processes directly reported to runsolver:
# pid: 32263
# total CPU time (s): 103.047
# total CPU user time (s): 102.539
# total CPU system time (s): 0.508499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.25345 second user time and 0.440577 second system time
The end