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 (12291 MiB free)
memory of node 1: 16384 MiB (11595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282745-1503214448/watcher-4282745-1503214448 -o /tmp/evaluation-result-4282745-1503214448/solver-4282745-1503214448 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17467 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2106922522 HOME/instance-4282745-1503214448.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=21378, runsolver pid=21375
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.99 1.90 1.90 3/217 21394
/proc/meminfo: memFree=24443376/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13978596 memory=28068 CPUtime=0.12 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 5401 0 0 0 11 1 0 0 20 0 15 0 154525655 14314082304 7017 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3494649 7017 2866 1 0 3482966 0
[pid=21380/tid=21381] ppid=21378 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 3393 0 0 0 8 0 0 0 20 0 15 0 154525655 14314082304 7017 33554432000 4194304 4196468 140728091073600 140130346109088 140129968665626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14314082304 7017 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13978596 memory=140200996447872 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14314082304 7017 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14314082304 7017 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14314082304 7017 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13978596 memory=140200996447872 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525657 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21378 17435 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 154525660 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 154525660 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13978596 memory=140200996447872 CPUtime=0.01 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) R 21378 21378 17435 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 154525660 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129809164400 140130320828281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13978596 memory=140200996447872 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525660 14314082304 7017 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29452 KiB
[startup+0.210716 s]*
/proc/loadavg: 1.99 1.90 1.90 5/217 21394
/proc/meminfo: memFree=24431692/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13982852 memory=40648 CPUtime=0.33 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 8286 0 0 0 31 2 0 0 20 0 15 0 154525655 14318440448 10162 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3495713 10162 3077 1 0 3482966 0
[pid=21380/tid=21381] ppid=21378 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 5389 0 0 0 18 1 0 0 20 0 15 0 154525655 14318440448 10162 33554432000 4194304 4196468 140728091073600 140130346094544 140130341905565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13982852 memory=13650 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 10162 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13982852 memory=140200997223667 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 10162 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 10162 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 10162 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13982852 memory=140200996447872 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525657 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21378 17435 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 154525660 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 154525660 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13982852 memory=140200996447872 CPUtime=0.07 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) R 21378 21378 17435 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 15 0 154525660 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129809164400 140130341895574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525660 14318440448 10162 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42032 KiB
[startup+0.311528 s]*
/proc/loadavg: 1.99 1.90 1.90 3/217 21394
/proc/meminfo: memFree=24424868/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13982852 memory=47288 CPUtime=0.5 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 9023 0 0 0 47 3 0 0 20 0 15 0 154525655 14318440448 11822 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3495713 11822 3090 1 0 3482966 0
[pid=21380/tid=21381] ppid=21378 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 5995 0 0 0 27 2 0 0 20 0 15 0 154525655 14318440448 11822 33554432000 4194304 4196468 140728091073600 140130346106480 140130341905565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 11822 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 11822 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 11822 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14318440448 11822 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525657 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) R 21378 21378 17435 0 -1 1077944384 586 0 0 0 3 0 0 0 20 0 15 0 154525660 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 154525660 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) R 21378 21378 17435 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 15 0 154525660 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129809164400 140130341894786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525660 14318440448 11822 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48672 KiB
[startup+0.700804 s]
/proc/loadavg: 1.99 1.90 1.90 6/217 21394
/proc/meminfo: memFree=24410580/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13984976 memory=67212 CPUtime=1.54 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 11587 0 0 0 150 4 0 0 20 0 15 0 154525655 14320615424 16803 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3496244 16803 3201 1 0 3483478 0
[pid=21380/tid=21381] ppid=21378 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 6626 0 0 0 65 2 0 0 20 0 15 0 154525655 14320615424 16803 33554432000 4194304 4196468 140728091073600 140130346122768 140129972327303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 16803 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 16803 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 16803 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 16803 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13984976 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13984976 memory=1204 CPUtime=0.26 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) R 21378 21378 17435 0 -1 4202560 1424 0 0 0 26 0 0 0 20 0 15 0 154525660 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129811261456 140130325415118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13984976 memory=1728 CPUtime=0.29 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) R 21378 21378 17435 0 -1 4202560 955 0 0 0 29 0 0 0 20 0 15 0 154525660 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129810217200 140130334173088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13984976 memory=1440 CPUtime=0.29 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21378 17435 0 -1 1077944384 1275 0 0 0 29 0 0 0 20 0 15 0 154525660 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129809164400 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 16803 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 68596 KiB
[startup+1.50069 s]
/proc/loadavg: 1.99 1.90 1.90 4/217 21394
/proc/meminfo: memFree=24397620/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=21380/tid=21386] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 546 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13984976 memory=97456 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13984976 memory=1 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13984976 memory=56 CPUtime=1.46 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21378 17435 0 -1 1077944384 11456 0 0 0 145 1 0 0 20 0 15 0 154525660 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13984976 memory=3920755558981449760 CPUtime=1.62 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 13047 0 0 0 161 1 0 0 20 0 15 0 154525660 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13984976 memory=140200886017904 CPUtime=0.39 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21378 17435 0 -1 1077944384 4819 0 0 0 38 1 0 0 20 0 15 0 154525660 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129809164400 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13984976 memory=1728 CPUtime=0.01 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 826 0 0 0 0 1 0 0 20 0 15 0 154525660 14320615424 24364 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 105.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 98840 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 1.93 1.91 3/217 21403
/proc/meminfo: memFree=24045644/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13984976 memory=105744 CPUtime=165.9 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 45958 0 0 0 16581 9 0 0 20 0 15 0 154525655 14320615424 26436 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3496244 26436 3222 1 0 3483478 0
[pid=21380/tid=21381] ppid=21378 vsize=13984976 memory=105744 CPUtime=162.28 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 11150 0 0 0 16225 3 0 0 20 0 15 0 154525655 14320615424 26436 33554432000 4194304 4196468 140728091073600 140130346119776 140129973178028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13984976 memory=105744 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 26436 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13984976 memory=105744 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 26436 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13984976 memory=105744 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 26436 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13984976 memory=105744 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 26436 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13984976 memory=105744 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13984976 memory=99504 CPUtime=1.52 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21378 17435 0 -1 1077944384 12622 0 0 0 151 1 0 0 20 0 15 0 154525660 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13984976 memory=4096 CPUtime=1.62 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 13236 0 0 0 161 1 0 0 20 0 15 0 154525660 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13984976 memory=43364 CPUtime=0.41 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21378 17435 0 -1 1077944384 6199 0 0 0 40 1 0 0 20 0 15 0 154525660 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129809164400 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13984976 memory=738700 CPUtime=0.02 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 859 0 0 0 0 2 0 0 20 0 15 0 154525660 14320615424 26436 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 165.9 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 107128 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.94 1.92 3/217 21482
/proc/meminfo: memFree=24457752/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13984976 memory=112084 CPUtime=226.09 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 49306 0 0 0 22599 10 0 0 20 0 15 0 154525655 14320615424 28021 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3496244 28021 3226 1 0 3483478 0
[pid=21380/tid=21381] ppid=21378 vsize=13984976 memory=112024 CPUtime=222.29 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 11720 0 0 0 22226 3 0 0 20 0 15 0 154525655 14320615424 28021 33554432000 4194304 4196468 140728091073600 140130346120224 140129973178425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13984976 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28021 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28021 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28021 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28021 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13984976 memory=112084 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13984976 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13984976 memory=317052974902031656 CPUtime=1.64 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21378 17435 0 -1 1077944384 14277 0 0 0 163 1 0 0 20 0 15 0 154525660 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13984976 memory=109968 CPUtime=1.66 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 13850 0 0 0 165 1 0 0 20 0 15 0 154525660 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13984976 memory=109968 CPUtime=0.42 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21378 17435 0 -1 1077944384 6598 0 0 0 41 1 0 0 20 0 15 0 154525660 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129809164400 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13984976 memory=43364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13984976 memory=2428 CPUtime=0.04 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 899 0 0 0 1 3 0 0 20 0 15 0 154525660 14320615424 28021 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 226.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 113468 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.95 1.92 3/217 21482
/proc/meminfo: memFree=24337356/32770624 swapFree=67108860/67108860
[pid=21378] ppid=21375 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21378/stat : 21378 (xcsp3-exec) S 21375 21378 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154525654 9740288 346 33554432000 4194304 5098028 140729756779168 140729756777272 140037905760892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38866944 140729756787828 140729756788032 140729756788032 140729756790763 0
/proc/21378/statm: 2378 346 289 221 0 87 0
[pid=21380] ppid=21378 vsize=13984976 memory=114136 CPUtime=243.83 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21378 17435 0 -1 1077944320 49530 0 0 0 24373 10 0 0 20 0 15 0 154525655 14320615424 28534 33554432000 4194304 4196468 140728091073600 140728091056144 140130341883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
/proc/21380/statm: 3496244 28534 3227 1 0 3483478 0
[pid=21380/tid=21381] ppid=21378 vsize=13984976 memory=6791534058613427641 CPUtime=240 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21378 17435 0 -1 4202560 11757 0 0 0 23997 3 0 0 20 0 15 0 154525655 14320615424 28534 33554432000 4194304 4196468 140728091073600 140130346120440 140129973109999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21382] ppid=21378 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21382/stat : 21382 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28534 33554432000 4194304 4196468 140728091073600 140130294504080 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21383] ppid=21378 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28534 33554432000 4194304 4196468 140728091073600 140130293451280 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21384] ppid=21378 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21378 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28534 33554432000 4194304 4196468 140728091073600 140130292398480 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21385] ppid=21378 vsize=13984976 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21378 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154525656 14320615424 28534 33554432000 4194304 4196468 140728091073600 140130291345680 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21386] ppid=21378 vsize=13984976 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21378 17435 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129815481200 140130341894786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21387] ppid=21378 vsize=13984976 memory=4080 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21378 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154525657 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129814427168 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21388] ppid=21378 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21378 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154525658 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129813374320 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21389] ppid=21378 vsize=13984976 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129812322640 140130341902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21390] ppid=21378 vsize=13984976 memory=2196 CPUtime=1.66 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21378 17435 0 -1 1077944384 14446 0 0 0 165 1 0 0 20 0 15 0 154525660 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129811270000 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21391] ppid=21378 vsize=13984976 memory=8052 CPUtime=1.67 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21378 17435 0 -1 1077944384 13868 0 0 0 166 1 0 0 20 0 15 0 154525660 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129810217200 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21392] ppid=21378 vsize=13984976 memory=840 CPUtime=0.42 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21378 17435 0 -1 1077944384 6598 0 0 0 41 1 0 0 20 0 15 0 154525660 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129809164400 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21393] ppid=21378 vsize=13984976 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21378 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154525660 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129808111840 140130341893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
[pid=21380/tid=21394] ppid=21378 vsize=13984976 memory=916 CPUtime=0.04 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21378 17435 0 -1 1077944384 899 0 0 0 1 3 0 0 20 0 15 0 154525660 14320615424 28534 33554432000 4194304 4196468 140728091073600 140129807060144 140130341894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28717056 140728091075741 140728091075916 140728091075916 140728091078607 0
Current children cumulated CPU time: 243.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 115520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.022 s]
# the end of solver process 21378 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.747 s, system=0.108986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.022
CPU time (s): 243.856
CPU user time (s): 243.747
CPU system time (s): 0.108986
CPU usage (%): 101.598
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 115520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.747
system time used= 0.108986
maximum resident set size= 120896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7588
involuntary context switches= 125
# summary of solver processes directly reported to runsolver:
# pid: 21378
# total CPU time (s): 243.856
# total CPU user time (s): 243.747
# total CPU system time (s): 0.108986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25661 second user time and 2.25263 second system time
The end