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 (15106 MiB free)
memory of node 1: 16384 MiB (15324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283930-1503188005/watcher-4283930-1503188005 -o /tmp/evaluation-result-4283930-1503188005/solver-4283930-1503188005 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21713 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1043681973 HOME/instance-4283930-1503188005.xml
running on 4 cores: 1,3,5,7
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=25120, runsolver pid=25117
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 1.53 1.63 1.71 3/197 25122
/proc/meminfo: memFree=31161192/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 2421 0 0 0 0 0 0 0 20 0 6 0 120995552 13677060096 2664 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3339126 2664 1203 1 0 3329096 0
[pid=25122/tid=25123] ppid=25120 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 1212 0 0 0 0 0 0 0 20 0 6 0 120995552 13677060096 2664 18446744073709551615 4194304 4196468 140733694504320 139776200553784 139776182181952 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13356504 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120995553 13677060096 2664 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13356504 memory=139693978089088 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120995553 13677060096 2664 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120995553 13677060096 2664 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120995553 13677060096 2664 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB
[startup+0.209773 s]*
/proc/loadavg: 1.53 1.63 1.71 3/211 25136
/proc/meminfo: memFree=31150088/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13974352 memory=26456 CPUtime=0.08 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 5026 0 0 0 7 1 0 0 20 0 15 0 120995552 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3493588 6614 2726 1 0 3482964 0
[pid=25122/tid=25123] ppid=25120 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 3179 0 0 0 5 1 0 0 20 0 15 0 120995552 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139776200538512 139776189409659 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13974352 memory=288370070129800832 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13974352 memory=139693978089088 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995554 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120995555 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775673582368 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120995555 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775672530032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) R 25120 25120 8557 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775670426224 139776196323970 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) S 25120 25120 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775669373424 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13974352 memory=139693978089088 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) S 25120 25120 8557 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13974352 memory=139693978089088 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995562 14309736448 6614 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27836 KiB
[startup+0.310457 s]*
/proc/loadavg: 1.53 1.63 1.71 3/211 25136
/proc/meminfo: memFree=31134596/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13974352 memory=37380 CPUtime=0.27 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 8871 0 0 0 24 3 0 0 20 0 15 0 120995552 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3493588 9345 2994 1 0 3482964 0
[pid=25122/tid=25123] ppid=25120 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 6064 0 0 0 14 2 0 0 20 0 15 0 120995552 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139776200548288 139776196324758 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995554 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120995555 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775673582368 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120995555 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775672530032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) S 25120 25120 8557 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 15 0 120995557 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775670426224 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) S 25120 25120 8557 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 120995557 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775669373424 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13974352 memory=139693978089088 CPUtime=0.05 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) R 25120 25120 8557 0 -1 4202560 742 0 0 0 5 0 0 0 20 0 15 0 120995557 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196324758 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13974352 memory=139693978089088 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995562 14309736448 9345 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38760 KiB
[startup+0.701648 s]
/proc/loadavg: 1.53 1.63 1.71 4/211 25136
/proc/meminfo: memFree=31123544/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13978684 memory=96392 CPUtime=1.26 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 13599 0 0 0 121 5 0 0 20 0 15 0 120995552 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3494671 24098 3167 1 0 3482964 0
[pid=25122/tid=25123] ppid=25120 vsize=13978684 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 8222 0 0 0 49 4 0 0 20 0 15 0 120995552 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139776200549936 139776179681025 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13978684 memory=164 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120995554 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13978684 memory=8458433173656909621 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120995555 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775673582368 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13978684 memory=7086521019830130256 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120995555 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775672530032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13978684 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13978684 memory=4420 CPUtime=0.21 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) R 25120 25120 8557 0 -1 4202560 1589 0 0 0 21 0 0 0 20 0 15 0 120995557 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775670412104 139776177857417 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13978684 memory=6628 CPUtime=0.22 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) R 25120 25120 8557 0 -1 4202560 1073 0 0 0 22 0 0 0 20 0 15 0 120995557 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775669360288 139776180223785 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13978684 memory=8836 CPUtime=0.27 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) S 25120 25120 8557 0 -1 1077944384 1407 0 0 0 27 0 0 0 20 0 15 0 120995557 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13978684 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13978684 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995562 14314172416 24098 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 97772 KiB
[startup+1.50082 s]
/proc/loadavg: 1.53 1.63 1.71 5/211 25136
/proc/meminfo: memFree=31055468/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13980732 memory=146256 CPUtime=3.88 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 25435 0 0 0 380 8 0 0 20 0 15 0 120995552 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3495183 36564 3188 1 0 3483476 0
[pid=25122/tid=25123] ppid=25120 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 9792 0 0 0 128 5 0 0 20 0 15 0 120995552 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139776200551584 139775839870974 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13980732 memory=6297831537088227440 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120995553 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120995553 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120995554 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 36564 18446744073709551615 4194304 4196468 140733694504320 139775673582368 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13980732 memory=346804 CPUtime=1101.52 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 108301 0 0 0 110061 91 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3495183 86701 3256 1 0 3483476 0
[pid=25122/tid=25123] ppid=25120 vsize=13980732 memory=2384 CPUtime=1075.59 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 24786 0 0 0 107550 9 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776200552624 139775839868489 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13980732 memory=-8774313645642428999 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 7663 0 0 0 442 13 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13980732 memory=1992 CPUtime=4.54 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 5721 0 0 0 439 15 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13980732 memory=1164 CPUtime=4.54 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 5379 0 0 0 440 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13980732 memory=7344 CPUtime=4.54 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 6098 0 0 0 440 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13980732 memory=-8774313645642428999 CPUtime=0.69 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 12873 0 0 0 62 7 0 0 20 0 15 0 120995554 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775673582432 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775672530048 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13980732 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13980732 memory=4144 CPUtime=3.09 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) S 25120 25120 8557 0 -1 1077944384 13811 0 0 0 307 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775670426224 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13980732 memory=65272 CPUtime=2.85 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) S 25120 25120 8557 0 -1 1077944384 18697 0 0 0 283 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775669373424 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13980732 memory=1240 CPUtime=0.72 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) S 25120 25120 8557 0 -1 1077944384 11010 0 0 0 70 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13980732 memory=1628 CPUtime=0.32 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 892 0 0 0 15 17 0 0 20 0 15 0 120995562 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 1101.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 348184 KiB
[startup+1083.2 s]
/proc/loadavg: 1.51 1.50 1.51 3/211 25226
/proc/meminfo: memFree=30683828/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13980732 memory=346804 CPUtime=1103.15 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 108306 0 0 0 110224 91 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3495183 86701 3256 1 0 3483476 0
[pid=25122/tid=25123] ppid=25120 vsize=13980732 memory=346804 CPUtime=1077.18 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 24788 0 0 0 107709 9 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776200552288 139775839459586 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13980732 memory=4872558044660077418 CPUtime=4.56 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 7663 0 0 0 443 13 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13980732 memory=7157773694202521494 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 5721 0 0 0 440 15 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13980732 memory=-8774313645642428999 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 5381 0 0 0 441 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13980732 memory=39060 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 6099 0 0 0 441 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13980732 memory=4044 CPUtime=0.69 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 12873 0 0 0 62 7 0 0 20 0 15 0 120995554 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775673582432 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13980732 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775672530048 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13980732 memory=346804 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13980732 memory=346804 CPUtime=3.09 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) S 25120 25120 8557 0 -1 1077944384 13811 0 0 0 307 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775670426224 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13980732 memory=4144 CPUtime=2.85 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) S 25120 25120 8557 0 -1 1077944384 18697 0 0 0 283 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775669373424 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13980732 memory=65272 CPUtime=0.72 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) S 25120 25120 8557 0 -1 1077944384 11010 0 0 0 70 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13980732 memory=279387757050496 CPUtime=0.32 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 892 0 0 0 15 17 0 0 20 0 15 0 120995562 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 1103.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 348184 KiB
[startup+1083.6 s]
/proc/loadavg: 1.51 1.50 1.51 3/211 25226
/proc/meminfo: memFree=30683828/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13980732 memory=346804 CPUtime=1103.55 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 108306 0 0 0 110264 91 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3495183 86701 3256 1 0 3483476 0
[pid=25122/tid=25123] ppid=25120 vsize=13980732 memory=1380 CPUtime=1077.58 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 24788 0 0 0 107749 9 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776200552288 139775839869257 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13980732 memory=346804 CPUtime=4.56 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 7663 0 0 0 443 13 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13980732 memory=1400 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 5721 0 0 0 440 15 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13980732 memory=4872558044660077418 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 5381 0 0 0 441 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13980732 memory=346804 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 6099 0 0 0 441 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13980732 memory=1380 CPUtime=0.69 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 12873 0 0 0 62 7 0 0 20 0 15 0 120995554 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13980732 memory=920 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775673582432 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13980732 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775672530048 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13980732 memory=832 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13980732 memory=16436 CPUtime=3.09 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) S 25120 25120 8557 0 -1 1077944384 13811 0 0 0 307 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775670426224 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13980732 memory=3904 CPUtime=2.85 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) S 25120 25120 8557 0 -1 1077944384 18697 0 0 0 283 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775669373424 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13980732 memory=2848 CPUtime=0.72 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) S 25120 25120 8557 0 -1 1077944384 11010 0 0 0 70 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13980732 memory=346804 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13980732 memory=65272 CPUtime=0.32 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 892 0 0 0 15 17 0 0 20 0 15 0 120995562 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 1103.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 348184 KiB
[startup+1084 s]*
/proc/loadavg: 1.51 1.50 1.51 3/211 25227
/proc/meminfo: memFree=30683564/32770624 swapFree=67105588/67108860
[pid=25120] ppid=25117 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25120/stat : 25120 (xcsp3-exec) S 25117 25120 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120995542 9740288 345 18446744073709551615 4194304 5098028 140737268245456 140737268243560 139948166300284 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23805952 140737268253048 140737268253253 140737268253253 140737268256747 0
/proc/25120/statm: 2378 345 289 221 0 87 0
[pid=25122] ppid=25120 vsize=13980732 memory=346804 CPUtime=1103.96 cores=1,3,5,7
/proc/25122/stat : 25122 (java) S 25120 25120 8557 0 -1 1077944320 108306 0 0 0 110305 91 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 140733694486864 139776196312823 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
/proc/25122/statm: 3495183 86701 3256 1 0 3483476 0
[pid=25122/tid=25123] ppid=25120 vsize=13980732 memory=14340 CPUtime=1077.99 cores=1,3,5,7
/proc/25122/task/25123/stat : 25123 (java) R 25120 25120 8557 0 -1 4202560 24788 0 0 0 107790 9 0 0 20 0 15 0 120995552 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776200552288 139775840245179 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25124] ppid=25120 vsize=13980732 memory=4872558044660077418 CPUtime=4.56 cores=1,3,5,7
/proc/25122/task/25124/stat : 25124 (java) S 25120 25120 8557 0 -1 1077944384 7663 0 0 0 443 13 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776157211536 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25125] ppid=25120 vsize=13980732 memory=3192 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25125/stat : 25125 (java) S 25120 25120 8557 0 -1 1077944384 5721 0 0 0 440 15 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776156158736 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25126] ppid=25120 vsize=13980732 memory=14340 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25126/stat : 25126 (java) S 25120 25120 8557 0 -1 1077944384 5381 0 0 0 441 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139776155106448 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25127] ppid=25120 vsize=13980732 memory=796 CPUtime=4.55 cores=1,3,5,7
/proc/25122/task/25127/stat : 25127 (java) S 25120 25120 8557 0 -1 1077944384 6099 0 0 0 441 14 0 0 20 0 15 0 120995553 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775793622032 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25128] ppid=25120 vsize=13980732 memory=1228 CPUtime=0.69 cores=1,3,5,7
/proc/25122/task/25128/stat : 25128 (java) S 25120 25120 8557 0 -1 1077944384 12873 0 0 0 62 7 0 0 20 0 15 0 120995554 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775674636400 139776196323970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25129] ppid=25120 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25129/stat : 25129 (java) S 25120 25120 8557 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775673582432 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25130] ppid=25120 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25130/stat : 25130 (java) S 25120 25120 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120995555 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775672530048 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25131] ppid=25120 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25131/stat : 25131 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775671478352 139776196331419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25132] ppid=25120 vsize=13980732 memory=15348 CPUtime=3.09 cores=1,3,5,7
/proc/25122/task/25132/stat : 25132 (java) S 25120 25120 8557 0 -1 1077944384 13811 0 0 0 307 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775670426224 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25133] ppid=25120 vsize=13980732 memory=39060 CPUtime=2.85 cores=1,3,5,7
/proc/25122/task/25133/stat : 25133 (java) S 25120 25120 8557 0 -1 1077944384 18697 0 0 0 283 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775669373424 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25134] ppid=25120 vsize=13980732 memory=4044 CPUtime=0.72 cores=1,3,5,7
/proc/25122/task/25134/stat : 25134 (java) S 25120 25120 8557 0 -1 1077944384 11010 0 0 0 70 2 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775668321136 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25135] ppid=25120 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/25122/task/25135/stat : 25135 (java) S 25120 25120 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120995557 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775667268576 139776196323029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
[pid=25122/tid=25136] ppid=25120 vsize=13980732 memory=1380 CPUtime=0.32 cores=1,3,5,7
/proc/25122/task/25136/stat : 25136 (java) S 25120 25120 8557 0 -1 1077944384 892 0 0 0 15 17 0 0 20 0 15 0 120995562 14316269568 86701 18446744073709551615 4194304 4196468 140733694504320 139775666215344 139776196323970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733694509489 140733694509665 140733694509665 140733694513103 0
Current children cumulated CPU time: 1103.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 348184 KiB
Child status: 0
Real time (s): 1084.06
CPU time (s): 1104.01
CPU user time (s): 1103.09
CPU system time (s): 0.917376
CPU usage (%): 101.841
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 479588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.09
system time used= 0.917376
maximum resident set size= 479180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41547
involuntary context switches= 2720
# summary of solver processes directly reported to runsolver:
# pid: 25120
# total CPU time (s): 1104.01
# total CPU user time (s): 1103.09
# total CPU system time (s): 0.917376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06838 second user time and 10.5551 second system time
The end