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 (12974 MiB free)
memory of node 1: 16384 MiB (9532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284176-1503226359/watcher-4284176-1503226359 -o /tmp/evaluation-result-4284176-1503226359/solver-4284176-1503226359 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503215543-27247 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 933681429 HOME/instance-4284176-1503226359.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=29151, runsolver pid=29148
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 2.07 2.02 2.01 4/217 29167
/proc/meminfo: memFree=23030428/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13978596 memory=27848 CPUtime=0.13 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 5329 0 0 0 12 1 0 0 20 0 15 0 155723835 14314082304 6962 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3494649 6962 2868 1 0 3482966 0
[pid=29153/tid=29154] ppid=29151 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 3319 0 0 0 9 0 0 0 20 0 15 0 155723835 14314082304 6962 33554432000 4194304 4196468 140735493808032 140452498481824 140452494261654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14314082304 6962 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13978596 memory=140708590614144 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14314082304 6962 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14314082304 6962 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155723836 14314082304 6962 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13978596 memory=140708590614144 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155723837 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155723838 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155723838 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) S 29151 29151 21004 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 155723841 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 155723841 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13978596 memory=140708590614144 CPUtime=0.01 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) R 29151 29151 21004 0 -1 4202560 311 0 0 0 1 0 0 0 20 0 15 0 155723841 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451961723376 140452473209951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13978596 memory=140708590614144 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723841 14314082304 6962 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29228 KiB
[startup+0.211089 s]*
/proc/loadavg: 2.07 2.02 2.01 4/217 29167
/proc/meminfo: memFree=23019000/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13982852 memory=40476 CPUtime=0.34 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 8203 0 0 0 32 2 0 0 20 0 15 0 155723835 14318440448 10119 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3495713 10119 3085 1 0 3482966 0
[pid=29153/tid=29154] ppid=29151 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 5382 0 0 0 18 1 0 0 20 0 15 0 155723835 14318473216 10119 33554432000 4194304 4196468 140735493808032 140452498460624 140452486929437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13982884 memory=12478 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14318473216 10119 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13982852 memory=140708590641484 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 10119 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 10119 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 10119 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13982852 memory=140708590614144 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155723837 14318440448 10119 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155723838 14318473216 10119 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155723838 14318473216 10119 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14318440448 10119 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) S 29151 29151 21004 0 -1 1077944384 476 0 0 0 3 0 0 0 20 0 15 0 155723841 14318440448 10119 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 155723841 14318440448 10119 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13982852 memory=140708590614144 CPUtime=0.08 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) S 29151 29151 21004 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 155723841 14318440448 10119 33554432000 4194304 4196468 140735493808032 140451961723376 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14318473216 10119 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723841 14318473216 10119 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41856 KiB
[startup+0.310754 s]*
/proc/loadavg: 2.07 2.02 2.01 5/217 29167
/proc/meminfo: memFree=23012704/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13982852 memory=47332 CPUtime=0.51 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 9022 0 0 0 49 2 0 0 20 0 15 0 155723835 14318440448 11833 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3495713 11833 3109 1 0 3482966 0
[pid=29153/tid=29154] ppid=29151 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 5936 0 0 0 28 1 0 0 20 0 15 0 155723835 14318440448 11833 33554432000 4194304 4196468 140735493808032 140452498485808 140452494271645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13982852 memory=12817 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 11833 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13982852 memory=3546363928894530831 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 11833 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 11833 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155723836 14318440448 11833 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155723837 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155723838 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155723838 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) R 29151 29151 21004 0 -1 1077944384 531 0 0 0 4 0 0 0 20 0 15 0 155723841 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 327 0 0 0 3 0 0 0 20 0 15 0 155723841 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) R 29151 29151 21004 0 -1 4202560 922 0 0 0 13 0 0 0 20 0 15 0 155723841 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451961723376 140452486486846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723841 14318440448 11833 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48712 KiB
[startup+0.70119 s]
/proc/loadavg: 2.07 2.02 2.01 5/217 29167
/proc/meminfo: memFree=22996172/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13984976 memory=88848 CPUtime=1.68 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 12282 0 0 0 164 4 0 0 20 0 15 0 155723835 14320615424 22212 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3496244 22212 3197 1 0 3483478 0
[pid=29153/tid=29154] ppid=29151 vsize=13984976 memory=4044 CPUtime=0.66 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 6568 0 0 0 63 3 0 0 20 0 15 0 155723835 14320615424 22212 33554432000 4194304 4196468 140735493808032 140452498483792 140452475898689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14320615424 22212 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14320615424 22212 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723836 14320615424 22212 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13984976 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155723836 14320615424 22212 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155723837 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13984976 memory=932 CPUtime=0.29 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) R 29151 29151 21004 0 -1 4202560 1105 0 0 0 29 0 0 0 20 0 15 0 155723841 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451963815520 140452486271504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13984976 memory=2200 CPUtime=0.27 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) R 29151 29151 21004 0 -1 4202560 1254 0 0 0 27 0 0 0 20 0 15 0 155723841 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451962769664 140452477735961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13984976 memory=7792 CPUtime=0.43 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) R 29151 29151 21004 0 -1 1077944384 2049 0 0 0 43 0 0 0 20 0 15 0 155723841 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451961723376 140452494260866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155723841 14320615424 22212 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 90228 KiB
[startup+1.50085 s]
/proc/loadavg: 2.07 2.02 2.01 5/217 29167
/proc/meminfo: memFree=22959816/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13984976 memory=318316 CPUtime=3.19 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) S 29151 29151 21004 0 -1 1077944384 20299 0 0 0 316 3 0 0 20 0 15 0 155723841 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13984976 memory=-3622645143214314312 CPUtime=3.41 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 23135 0 0 0 338 3 0 0 20 0 15 0 155723841 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13984976 memory=7792 CPUtime=0.79 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) S 29151 29151 21004 0 -1 1077944384 10007 0 0 0 77 2 0 0 20 0 15 0 155723841 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451961723376 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13984976 memory=318316 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13984976 memory=1380 CPUtime=0.93 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 2415 0 0 0 44 49 0 0 20 0 15 0 155723841 14320615424 79579 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 2341.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 319696 KiB
[startup+2382.3 s]
/proc/loadavg: 1.54 1.76 1.77 2/195 29310
/proc/meminfo: memFree=26202300/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13984976 memory=317612 CPUtime=2402.44 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 156097 0 0 0 240140 104 0 0 20 0 15 0 155723835 14320615424 79403 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3496244 79403 3284 1 0 3483478 0
[pid=29153/tid=29154] ppid=29151 vsize=13984976 memory=317288 CPUtime=2376.66 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 32304 0 0 0 237657 9 0 0 20 0 15 0 155723835 14320615424 79403 33554432000 4194304 4196468 140735493808032 140452498489088 140452099003178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13984976 memory=317288 CPUtime=4.17 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 11159 0 0 0 407 10 0 0 20 0 15 0 155723836 14320615424 79403 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13984976 memory=317468 CPUtime=4.16 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 8012 0 0 0 407 9 0 0 20 0 15 0 155723836 14320615424 79403 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13984976 memory=317612 CPUtime=4.17 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 11087 0 0 0 406 11 0 0 20 0 15 0 155723836 14320615424 79403 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13984976 memory=317612 CPUtime=4.16 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 12300 0 0 0 406 10 0 0 20 0 15 0 155723836 14320615424 79403 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13984976 memory=1380 CPUtime=0.67 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 23987 0 0 0 60 7 0 0 20 0 15 0 155723837 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13984976 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13984976 memory=317612 CPUtime=3.19 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) S 29151 29151 21004 0 -1 1077944384 20302 0 0 0 316 3 0 0 20 0 15 0 155723841 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13984976 memory=1696 CPUtime=3.41 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 23138 0 0 0 338 3 0 0 20 0 15 0 155723841 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13984976 memory=920 CPUtime=0.79 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) S 29151 29151 21004 0 -1 1077944384 10016 0 0 0 77 2 0 0 20 0 15 0 155723841 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451961723376 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13984976 memory=317612 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13984976 memory=4140 CPUtime=0.96 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 2445 0 0 0 45 51 0 0 20 0 15 0 155723841 14320615424 79403 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 2402.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 318992 KiB
[startup+2442.3 s]
/proc/loadavg: 1.07 1.58 1.70 2/195 29311
/proc/meminfo: memFree=26197748/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13984976 memory=322456 CPUtime=2463.04 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 162887 0 0 0 246196 108 0 0 20 0 15 0 155723835 14320615424 80614 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3496244 80614 3284 1 0 3483478 0
[pid=29153/tid=29154] ppid=29151 vsize=13984976 memory=1380 CPUtime=2436.42 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 33146 0 0 0 243633 9 0 0 20 0 15 0 155723835 14320615424 80614 33554432000 4194304 4196468 140735493808032 140452498489248 140452097385373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13984976 memory=322456 CPUtime=4.36 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 11655 0 0 0 425 11 0 0 20 0 15 0 155723836 14320615424 80614 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13984976 memory=322456 CPUtime=4.36 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 8329 0 0 0 426 10 0 0 20 0 15 0 155723836 14320615424 80614 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13984976 memory=322456 CPUtime=4.37 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 11703 0 0 0 425 12 0 0 20 0 15 0 155723836 14320615424 80614 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13984976 memory=1380 CPUtime=4.36 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 12620 0 0 0 425 11 0 0 20 0 15 0 155723836 14320615424 80614 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13984976 memory=322456 CPUtime=0.71 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 28151 0 0 0 63 8 0 0 20 0 15 0 155723837 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13984976 memory=322456 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13984976 memory=322928 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13984976 memory=323440 CPUtime=3.19 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) S 29151 29151 21004 0 -1 1077944384 20304 0 0 0 316 3 0 0 20 0 15 0 155723841 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13984976 memory=1380 CPUtime=3.41 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 23141 0 0 0 338 3 0 0 20 0 15 0 155723841 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13984976 memory=1380 CPUtime=0.79 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) S 29151 29151 21004 0 -1 1077944384 10019 0 0 0 77 2 0 0 20 0 15 0 155723841 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451961723376 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13984976 memory=322456 CPUtime=0.98 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 2472 0 0 0 46 52 0 0 20 0 15 0 155723841 14320615424 80614 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 2463.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 323836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499 s]*
/proc/loadavg: 0.99 1.46 1.65 2/195 29312
/proc/meminfo: memFree=26196884/32770624 swapFree=67108860/67108860
[pid=29151] ppid=29148 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29151/stat : 29151 (xcsp3-exec) S 29148 29151 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155723835 9740288 345 33554432000 4194304 5098028 140722997770992 140722997769096 140185723773564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18198528 140722997773423 140722997773627 140722997773627 140722997776363 0
/proc/29151/statm: 2378 345 289 221 0 87 0
[pid=29153] ppid=29151 vsize=13984976 memory=323260 CPUtime=2520.04 cores=0,2,4,6
/proc/29153/stat : 29153 (java) S 29151 29151 21004 0 -1 1077944320 164160 0 0 0 251895 109 0 0 20 0 15 0 155723835 14320615424 80815 33554432000 4194304 4196468 140735493808032 140735493790576 140452494249719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
/proc/29153/statm: 3496244 80815 3284 1 0 3483478 0
[pid=29153/tid=29154] ppid=29151 vsize=13984976 memory=6791534058613427641 CPUtime=2493 cores=0,2,4,6
/proc/29153/task/29154/stat : 29154 (java) R 29151 29151 21004 0 -1 4202560 33452 0 0 0 249291 9 0 0 20 0 15 0 155723835 14320615424 80815 33554432000 4194304 4196468 140735493808032 140452498489200 140452097209274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29155] ppid=29151 vsize=13984976 memory=4126316290023845779 CPUtime=4.46 cores=0,2,4,6
/proc/29153/task/29155/stat : 29155 (java) S 29151 29151 21004 0 -1 1077944384 11808 0 0 0 435 11 0 0 20 0 15 0 155723836 14320615424 80815 33554432000 4194304 4196468 140735493808032 140452424338448 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29156] ppid=29151 vsize=13984976 memory=1292 CPUtime=4.46 cores=0,2,4,6
/proc/29153/task/29156/stat : 29156 (java) S 29151 29151 21004 0 -1 1077944384 8719 0 0 0 436 10 0 0 20 0 15 0 155723836 14320615424 80815 33554432000 4194304 4196468 140735493808032 140452423285904 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29157] ppid=29151 vsize=13984976 memory=2428 CPUtime=4.47 cores=0,2,4,6
/proc/29153/task/29157/stat : 29157 (java) S 29151 29151 21004 0 -1 1077944384 11877 0 0 0 435 12 0 0 20 0 15 0 155723836 14320615424 80815 33554432000 4194304 4196468 140735493808032 140452422232848 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29158] ppid=29151 vsize=13984976 memory=1728 CPUtime=4.46 cores=0,2,4,6
/proc/29153/task/29158/stat : 29158 (java) S 29151 29151 21004 0 -1 1077944384 12786 0 0 0 435 11 0 0 20 0 15 0 155723836 14320615424 80815 33554432000 4194304 4196468 140735493808032 140452421180304 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29159] ppid=29151 vsize=13984976 memory=1420 CPUtime=0.72 cores=0,2,4,6
/proc/29153/task/29159/stat : 29159 (java) S 29151 29151 21004 0 -1 1077944384 28190 0 0 0 64 8 0 0 20 0 15 0 155723837 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451968039152 140452494260866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29160] ppid=29151 vsize=13984976 memory=11108 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29160/stat : 29160 (java) S 29151 29151 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451966985376 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29161] ppid=29151 vsize=13984976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29161/stat : 29161 (java) S 29151 29151 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 155723838 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451965932272 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29162] ppid=29151 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29162/stat : 29162 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723840 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451964880848 140452494268315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29163] ppid=29151 vsize=13984976 memory=8612 CPUtime=3.19 cores=0,2,4,6
/proc/29153/task/29163/stat : 29163 (java) S 29151 29151 21004 0 -1 1077944384 20307 0 0 0 316 3 0 0 20 0 15 0 155723841 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451963828976 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29164] ppid=29151 vsize=13984976 memory=1224 CPUtime=3.41 cores=0,2,4,6
/proc/29153/task/29164/stat : 29164 (java) S 29151 29151 21004 0 -1 1077944384 23144 0 0 0 338 3 0 0 20 0 15 0 155723841 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451962776432 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29165] ppid=29151 vsize=13984976 memory=792 CPUtime=0.79 cores=0,2,4,6
/proc/29153/task/29165/stat : 29165 (java) S 29151 29151 21004 0 -1 1077944384 10028 0 0 0 77 2 0 0 20 0 15 0 155723841 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451961723376 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29166] ppid=29151 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/29153/task/29166/stat : 29166 (java) S 29151 29151 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155723841 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451960671072 140452494259925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
[pid=29153/tid=29167] ppid=29151 vsize=13984976 memory=5788 CPUtime=1 cores=0,2,4,6
/proc/29153/task/29167/stat : 29167 (java) S 29151 29151 21004 0 -1 1077944384 2502 0 0 0 47 53 0 0 20 0 15 0 155723841 14320615424 80815 33554432000 4194304 4196468 140735493808032 140451959618096 140452494260866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19546112 140735493813399 140735493813575 140735493813575 140735493816271 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 324640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.02 s]
# the end of solver process 29151 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000973 s, system=0.000973 s
[startup+2499.03 s]
# the end of solver process 29153 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.96 s, system=1.10818 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2499.03
CPU time (s): 2520.07
CPU user time (s): 2518.96
CPU system time (s): 1.10818
CPU usage (%): 100.842
Max. virtual memory (cumulated for all children) (KiB): 13996420
Max. memory (cumulated for all children) (KiB): 458500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 1.10818
maximum resident set size= 495556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72766
involuntary context switches= 3644
# summary of solver processes directly reported to runsolver:
# pid: 29151,29153
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.96
# total CPU system time (s): 1.10818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2558 second user time and 25.0449 second system time
The end