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 (12247 MiB free)
memory of node 1: 16384 MiB (13208 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269650-1502817386/watcher-4269650-1502817386 -o /tmp/evaluation-result-4269650-1502817386/solver-4269650-1502817386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15705 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 100693575 HOME/instance-4269650-1502817386.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23402, runsolver pid=23399
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.99 1.91 1.83 3/219 23418
/proc/meminfo: memFree=26050936/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13978596 memory=27816 CPUtime=0.12 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 5383 0 0 0 11 1 0 0 20 0 15 0 114810204 14314082304 6954 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3494649 6954 2835 1 0 3482966 0
[pid=23404/tid=23405] ppid=23402 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 3392 0 0 0 8 1 0 0 20 0 15 0 114810205 14314082304 6954 33554432000 4194304 4196468 140730987706736 140178196997936 140178192776598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14314082304 6954 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13978596 memory=140006059284096 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14314082304 6954 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14314082304 6954 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810206 14314082304 6954 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13978596 memory=140006059284096 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810207 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114810207 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177665152544 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114810208 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177664099696 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) S 23402 23402 15674 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 114810210 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177661995376 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) S 23402 23402 15674 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 114810210 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13978596 memory=140006059284096 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) R 23402 23402 15674 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 114810210 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177659889776 140178174002224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13978596 memory=140006059284096 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810211 14314082304 6954 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29196 KiB
[startup+0.210749 s]*
/proc/loadavg: 1.99 1.91 1.83 4/219 23418
/proc/meminfo: memFree=26040964/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13982852 memory=40572 CPUtime=0.34 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 8111 0 0 0 32 2 0 0 20 0 15 0 114810204 14318440448 10143 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3495713 10143 3078 1 0 3482966 0
[pid=23404/tid=23405] ppid=23402 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 5254 0 0 0 18 2 0 0 20 0 15 0 114810205 14318440448 10143 33554432000 4194304 4196468 140730987706736 140178196986688 140178176845150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13982852 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 10143 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13982852 memory=140006059684804 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 10143 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 10143 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 10143 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13982852 memory=140006059284096 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810207 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114810207 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177665152544 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114810208 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177664099696 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) S 23402 23402 15674 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 114810210 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177661995376 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) S 23402 23402 15674 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 15 0 114810210 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13982852 memory=140006059284096 CPUtime=0.08 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) R 23402 23402 15674 0 -1 4202560 732 0 0 0 8 0 0 0 20 0 15 0 114810210 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177659889776 140178171307691 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810211 14318440448 10143 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41952 KiB
[startup+0.317234 s]*
/proc/loadavg: 1.99 1.91 1.83 6/219 23418
/proc/meminfo: memFree=26033140/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13982852 memory=48556 CPUtime=0.53 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 9229 0 0 0 51 2 0 0 20 0 15 0 114810204 14318440448 12139 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3495713 12139 3129 1 0 3482966 0
[pid=23404/tid=23405] ppid=23402 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 5917 0 0 0 28 2 0 0 20 0 15 0 114810205 14318440448 12139 33554432000 4194304 4196468 140730987706736 140178196998432 140177817357325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 12139 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 12139 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 12139 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810206 14318440448 12139 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810207 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114810207 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177665152544 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114810208 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177664099696 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) R 23402 23402 15674 0 -1 4202560 666 0 0 0 4 0 0 0 20 0 15 0 114810210 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177661987024 140178172214461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) R 23402 23402 15674 0 -1 1077944384 397 0 0 0 4 0 0 0 20 0 15 0 114810210 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) R 23402 23402 15674 0 -1 4202560 946 0 0 0 13 0 0 0 20 0 15 0 114810210 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177659886952 140178171398480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810211 14318440448 12139 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49936 KiB
[startup+0.700824 s]
/proc/loadavg: 1.99 1.91 1.83 6/219 23418
/proc/meminfo: memFree=26004352/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13982928 memory=136492 CPUtime=1.78 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 12306 0 0 0 173 5 0 0 20 0 15 0 114810204 14318518272 34123 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3495732 34123 3202 1 0 3482966 0
[pid=23404/tid=23405] ppid=23402 vsize=13982928 memory=32268 CPUtime=0.67 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 6286 0 0 0 64 3 0 0 20 0 15 0 114810205 14318518272 34123 33554432000 4194304 4196468 140730987706736 140178197003040 140178192776598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13982928 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318518272 34123 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13982928 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318518272 34123 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13982928 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810206 14318518272 34123 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13982928 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114810206 14318518272 34123 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13982928 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114810207 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13982928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114810207 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177665152544 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13982928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114810208 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177664099696 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13982928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13982928 memory=5300 CPUtime=0.4 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) R 23402 23402 15674 0 -1 4202560 1476 0 0 0 40 0 0 0 20 0 15 0 114810210 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177661983936 140178185054117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13982928 memory=4616 CPUtime=0.39 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) R 23402 23402 15674 0 -1 4202560 1745 0 0 0 39 0 0 0 20 0 15 0 114810210 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177660929424 140178172025944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13982928 memory=1928 CPUtime=0.29 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) R 23402 23402 15674 0 -1 1077944384 1492 0 0 0 29 0 0 0 20 0 15 0 114810210 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177659889776 140178192775810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13982928 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13982928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114810211 14318518272 34123 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 137872 KiB
[startup+1.5008 s]
/proc/loadavg: 1.99 1.91 1.83 5/219 23418
/proc/meminfo: memFree=25879500/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13984976 memory=227720 CPUtime=34.68 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 32413 0 0 0 3455 13 0 0 20 0 15 0 114810204 14320615424 56930 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3496244 56930 3264 1 0 3483478 0
[pid=23404/tid=23405] ppid=23402 vsize=13984976 memory=1428 CPUtime=30.33 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 8566 0 0 0 3028 5 0 0 20 0 15 0 114810205 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178197001600 140177823174703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13984976 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 642 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13984976 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13984976 memory=12032 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13984976 memory=1708 CPUtime=0.02 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13984976 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177665152608 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114810208 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177664099712 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13984976 memory=227720 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13984976 memory=2200 CPUtime=1.72 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) S 23402 23402 15674 0 -1 1077944384 6986 0 0 0 171 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177661995376 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13984976 memory=6508 CPUtime=1.91 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) S 23402 23402 15674 0 -1 1077944384 9305 0 0 0 190 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13984976 memory=840 CPUtime=0.57 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) S 23402 23402 15674 0 -1 1077944384 4358 0 0 0 56 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177659889776 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13984976 memory=916 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 114810211 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 34.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229100 KiB
[startup+31.2007 s]
/proc/loadavg: 1.99 1.92 1.84 3/219 23418
/proc/meminfo: memFree=25847996/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13984976 memory=227720 CPUtime=35.48 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 32415 0 0 0 3535 13 0 0 20 0 15 0 114810204 14320615424 56930 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3496244 56930 3264 1 0 3483478 0
[pid=23404/tid=23405] ppid=23402 vsize=13984976 memory=1728 CPUtime=31.13 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 8568 0 0 0 3108 5 0 0 20 0 15 0 114810205 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178197001488 140177823088402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13984976 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 642 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13984976 memory=1296 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13984976 memory=2400 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13984976 memory=1728 CPUtime=0.02 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177665152608 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114810208 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177664099712 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13984976 memory=227720 CPUtime=1.72 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) S 23402 23402 15674 0 -1 1077944384 6986 0 0 0 171 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177661995376 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13984976 memory=15876 CPUtime=1.91 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) S 23402 23402 15674 0 -1 1077944384 9305 0 0 0 190 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13984976 memory=18128 CPUtime=0.57 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) S 23402 23402 15674 0 -1 1077944384 4358 0 0 0 56 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177659889776 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13984976 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13984976 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 114810211 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 35.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229100 KiB
[startup+32.0007 s]*
/proc/loadavg: 1.99 1.92 1.84 3/219 23418
/proc/meminfo: memFree=25847996/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13984976 memory=227720 CPUtime=36.29 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 32417 0 0 0 3616 13 0 0 20 0 15 0 114810204 14320615424 56930 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3496244 56930 3264 1 0 3483478 0
[pid=23404/tid=23405] ppid=23402 vsize=13984976 memory=6791534058613427641 CPUtime=31.94 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 8570 0 0 0 3189 5 0 0 20 0 15 0 114810205 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178197001488 140177823087881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13984976 memory=10652 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 642 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13984976 memory=15876 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13984976 memory=18128 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13984976 memory=4872558044660077418 CPUtime=0.02 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13984976 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177665152608 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114810208 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177664099712 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13984976 memory=4128 CPUtime=1.72 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) S 23402 23402 15674 0 -1 1077944384 6986 0 0 0 171 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177661995376 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13984976 memory=2200 CPUtime=1.91 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) S 23402 23402 15674 0 -1 1077944384 9305 0 0 0 190 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13984976 memory=6508 CPUtime=0.57 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) S 23402 23402 15674 0 -1 1077944384 4358 0 0 0 56 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177659889776 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 114810211 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 36.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229100 KiB
[startup+32.2007 s]
/proc/loadavg: 1.99 1.92 1.84 3/219 23418
/proc/meminfo: memFree=25847996/32770624 swapFree=67108860/67108860
[pid=23402] ppid=23399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23402/stat : 23402 (xcsp3-exec) S 23399 23402 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 114810204 9740288 345 33554432000 4194304 5098028 140730437828720 140730437826824 139812030476924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29511680 140730437829743 140730437829947 140730437829947 140730437832683 0
/proc/23402/statm: 2378 345 289 221 0 87 0
[pid=23404] ppid=23402 vsize=13984976 memory=227720 CPUtime=36.5 cores=0,2,4,6
/proc/23404/stat : 23404 (java) S 23402 23402 15674 0 -1 1077944320 32425 0 0 0 3637 13 0 0 20 0 15 0 114810204 14320615424 56930 33554432000 4194304 4196468 140730987706736 140730987689280 140178192764663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
/proc/23404/statm: 3496244 56930 3264 1 0 3483478 0
[pid=23404/tid=23405] ppid=23402 vsize=13984976 memory=80 CPUtime=32.13 cores=0,2,4,6
/proc/23404/task/23405/stat : 23405 (java) R 23402 23402 15674 0 -1 4202560 8573 0 0 0 3208 5 0 0 20 0 15 0 114810205 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178197001488 140177823118635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23406] ppid=23402 vsize=13984976 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23406/stat : 23406 (java) S 23402 23402 15674 0 -1 1077944384 642 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178145385104 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23407] ppid=23402 vsize=13984976 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23407/stat : 23407 (java) S 23402 23402 15674 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178144332304 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23408] ppid=23402 vsize=13984976 memory=288230574492221466 CPUtime=0.01 cores=0,2,4,6
/proc/23404/task/23408/stat : 23408 (java) S 23402 23402 15674 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178143279504 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23409] ppid=23402 vsize=13984976 memory=288230621803970871 CPUtime=0.02 cores=0,2,4,6
/proc/23404/task/23409/stat : 23409 (java) S 23402 23402 15674 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 114810206 14320615424 56930 33554432000 4194304 4196468 140730987706736 140178142226704 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23410] ppid=23402 vsize=13984976 memory=14699582244260269 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23410/stat : 23410 (java) S 23402 23402 15674 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177666206576 140178192775810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23411] ppid=23402 vsize=13984976 memory=7234030490512353113 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23411/stat : 23411 (java) S 23402 23402 15674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 114810207 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177665152608 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23412] ppid=23402 vsize=13984976 memory=5859271421085302880 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23412/stat : 23412 (java) S 23402 23402 15674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114810208 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177664099712 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23413] ppid=23402 vsize=13984976 memory=3047711591739990150 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23413/stat : 23413 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177663048016 140178192783259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23414] ppid=23402 vsize=13984976 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/23404/task/23414/stat : 23414 (java) S 23402 23402 15674 0 -1 1077944384 6986 0 0 0 171 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177661995376 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23415] ppid=23402 vsize=13984976 memory=2116 CPUtime=1.93 cores=0,2,4,6
/proc/23404/task/23415/stat : 23415 (java) S 23402 23402 15674 0 -1 1077944384 9310 0 0 0 192 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177660942576 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23416] ppid=23402 vsize=13984976 memory=-8386972834861517941 CPUtime=0.57 cores=0,2,4,6
/proc/23404/task/23416/stat : 23416 (java) S 23402 23402 15674 0 -1 1077944384 4358 0 0 0 56 1 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177659889776 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23417] ppid=23402 vsize=13984976 memory=-6153504281283894727 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23417/stat : 23417 (java) S 23402 23402 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114810210 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177658837216 140178192774869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
[pid=23404/tid=23418] ppid=23402 vsize=13984976 memory=7896951379245047705 CPUtime=0 cores=0,2,4,6
/proc/23404/task/23418/stat : 23418 (java) S 23402 23402 15674 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 114810211 14320615424 56930 33554432000 4194304 4196468 140730987706736 140177657785520 140178192775810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 30511104 140730987713687 140730987713863 140730987713863 140730987716559 0
Current children cumulated CPU time: 36.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229100 KiB
Child status: 0
Real time (s): 32.2709
CPU time (s): 36.5777
CPU user time (s): 36.4343
CPU system time (s): 0.14336
CPU usage (%): 113.346
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 231944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.4343
system time used= 0.14336
maximum resident set size= 230564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33521
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= 2966
involuntary context switches= 70
# summary of solver processes directly reported to runsolver:
# pid: 23402
# total CPU time (s): 36.5777
# total CPU user time (s): 36.4343
# total CPU system time (s): 0.14336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263769 second user time and 0.302943 second system time
The end