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 (12690 MiB free)
memory of node 1: 16384 MiB (11412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282770-1503213458/watcher-4282770-1503213458 -o /tmp/evaluation-result-4282770-1503213458/solver-4282770-1503213458 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17466 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1301932915 HOME/instance-4282770-1503213458.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=20650, runsolver pid=20647
[startup+0.100078 s]*
/proc/loadavg: 1.55 1.86 1.93 4/218 20666
/proc/meminfo: memFree=24665348/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13978596 memory=27276 CPUtime=0.12 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 5162 0 0 0 11 1 0 0 20 0 15 0 154426690 14314082304 6819 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3494649 6819 2881 1 0 3482966 0
[pid=20652/tid=20653] ppid=20650 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) R 20650 20650 17435 0 -1 4202560 3131 0 0 0 8 0 0 0 20 0 15 0 154426691 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323795232560 140323791011222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13978596 memory=139893739300480 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426692 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13978596 memory=139893739300480 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426693 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154426693 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323264112160 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 154426696 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13978596 memory=139893739300480 CPUtime=0.01 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) R 20650 20650 17435 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 154426696 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323258849392 140323772583700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13978596 memory=139893739300480 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426696 14314082304 6819 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28660 KiB
[startup+0.210677 s]*
/proc/loadavg: 1.55 1.86 1.93 3/218 20666
/proc/meminfo: memFree=24654168/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13982852 memory=39384 CPUtime=0.34 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 7838 0 0 0 32 2 0 0 20 0 15 0 154426690 14318440448 9846 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3495713 9846 3087 1 0 3482966 0
[pid=20652/tid=20653] ppid=20650 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) D 20650 20650 17435 0 -1 1077944384 4900 0 0 0 19 1 0 0 20 0 15 0 154426691 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323795210080 140323783678509 0 4 0 16800975 18446744072101662244 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13982852 memory=13650 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13982852 memory=139893740076275 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13982884 memory=139893739300480 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426693 14318473216 9867 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154426693 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323264112160 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 600 0 0 0 2 0 0 0 20 0 15 0 154426696 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 15 0 154426696 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13982884 memory=139893739300480 CPUtime=0.08 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) S 20650 20650 17435 0 -1 1077944384 833 0 0 0 8 0 0 0 20 0 15 0 154426696 14318473216 9867 33554432000 4194304 4196468 140728320221952 140323258849392 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14318473216 9867 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426696 14318440448 9867 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40768 KiB
[startup+0.316143 s]*
/proc/loadavg: 1.55 1.86 1.93 6/218 20666
/proc/meminfo: memFree=24646600/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13982852 memory=47936 CPUtime=0.53 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 9132 0 0 0 50 3 0 0 20 0 15 0 154426690 14318440448 11984 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3495713 11984 3129 1 0 3482966 0
[pid=20652/tid=20653] ppid=20650 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) R 20650 20650 17435 0 -1 4202560 5555 0 0 0 28 2 0 0 20 0 15 0 154426691 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323795237568 140323428301841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426692 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426693 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154426693 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323264112160 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 792 0 0 0 4 0 0 0 20 0 15 0 154426696 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 401 0 0 0 4 0 0 0 20 0 15 0 154426696 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) R 20650 20650 17435 0 -1 4202560 1080 0 0 0 12 0 0 0 20 0 15 0 154426696 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323258843736 140323769932734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426696 14318440448 11984 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49320 KiB
[startup+0.700765 s]
/proc/loadavg: 1.55 1.86 1.93 5/218 20666
/proc/meminfo: memFree=24611108/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13982928 memory=159828 CPUtime=1.76 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 12587 0 0 0 171 5 0 0 20 0 15 0 154426690 14318518272 39957 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3495732 39957 3202 1 0 3482966 0
[pid=20652/tid=20653] ppid=20650 vsize=13982928 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) R 20650 20650 17435 0 -1 4202560 5920 0 0 0 64 3 0 0 20 0 15 0 154426691 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323795233200 140323428232866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13982928 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13982928 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13982928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426692 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13982928 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154426692 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13982928 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154426693 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13982928 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154426693 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323264112160 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13982928 memory=8624 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13982928 memory=792 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13982928 memory=1204 CPUtime=0.41 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) R 20650 20650 17435 0 -1 4202560 2314 0 0 0 40 1 0 0 20 0 15 0 154426696 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323260941288 140323769414874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13982928 memory=1728 CPUtime=0.4 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) R 20650 20650 17435 0 -1 4202560 1407 0 0 0 40 0 0 0 20 0 15 0 154426696 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323259888544 140323777063280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13982928 memory=1440 CPUtime=0.24 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) R 20650 20650 17435 0 -1 1077944384 1639 0 0 0 24 0 0 0 20 0 15 0 154426696 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323258847184 140323791009493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13982928 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13982928 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154426696 14318518272 39957 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 161212 KiB
[startup+1.50081 s]
/proc/loadavg: 1.55 1.86 1.93 4/218 20666
/proc/meminfo: memFree=24490340/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13984976 memory=1384 CPUtime=1.08 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 4009 0 0 0 107 1 0 0 20 0 15 0 154426696 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13984976 memory=206852 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 4406 0 0 0 109 0 0 0 20 0 15 0 154426696 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13984976 memory=4194597514592387104 CPUtime=0.44 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) S 20650 20650 17435 0 -1 1077944384 3936 0 0 0 43 1 0 0 20 0 15 0 154426696 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323258849392 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13984976 memory=139893594721216 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13984976 memory=318751720249491739 CPUtime=0.02 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 525 0 0 0 1 1 0 0 20 0 15 0 154426696 14320615424 51713 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 105 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208236 KiB
[startup+162.301 s]
/proc/loadavg: 1.93 1.91 1.94 3/217 20744
/proc/meminfo: memFree=24486116/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13984976 memory=206884 CPUtime=165.04 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 26164 0 0 0 16492 12 0 0 20 0 15 0 154426690 14320615424 51721 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3496244 51721 3245 1 0 3483478 0
[pid=20652/tid=20653] ppid=20650 vsize=13984976 memory=1384 CPUtime=162.26 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) R 20650 20650 17435 0 -1 4202560 10188 0 0 0 16222 4 0 0 20 0 15 0 154426691 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323795234880 140323433339460 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13984976 memory=206884 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 154426692 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 154426692 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13984976 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 154426692 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13984976 memory=1792 CPUtime=0.01 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 154426692 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 154426693 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154426693 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323264112160 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13984976 memory=4616 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 4754 0 0 0 108 1 0 0 20 0 15 0 154426696 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13984976 memory=8624 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 4628 0 0 0 109 0 0 0 20 0 15 0 154426696 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13984976 memory=4080 CPUtime=0.44 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) S 20650 20650 17435 0 -1 1077944384 4063 0 0 0 43 1 0 0 20 0 15 0 154426696 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323258849392 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13984976 memory=932 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 569 0 0 0 1 2 0 0 20 0 15 0 154426696 14320615424 51721 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 165.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208268 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.93 1.95 3/217 20745
/proc/meminfo: memFree=24499400/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13984976 memory=206908 CPUtime=225.07 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 26397 0 0 0 22494 13 0 0 20 0 15 0 154426690 14320615424 51727 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3496244 51727 3245 1 0 3483478 0
[pid=20652/tid=20653] ppid=20650 vsize=13984976 memory=206908 CPUtime=222.27 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) R 20650 20650 17435 0 -1 4202560 10216 0 0 0 22223 4 0 0 20 0 15 0 154426691 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323795234896 140323433339273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13984976 memory=206908 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 154426692 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 154426692 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13984976 memory=206908 CPUtime=0.01 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 154426692 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 154426692 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13984976 memory=279787189876832 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 154426693 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154426693 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323264112160 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154426694 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323263059312 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13984976 memory=1384 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 4754 0 0 0 108 1 0 0 20 0 15 0 154426696 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13984976 memory=206908 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 4628 0 0 0 109 0 0 0 20 0 15 0 154426696 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13984976 memory=184128 CPUtime=0.45 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) S 20650 20650 17435 0 -1 1077944384 4262 0 0 0 44 1 0 0 20 0 15 0 154426696 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323258849392 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13984976 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13984976 memory=3472328296227679313 CPUtime=0.05 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 574 0 0 0 2 3 0 0 20 0 15 0 154426696 14320615424 51727 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 225.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208292 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 1.93 1.95 3/217 20745
/proc/meminfo: memFree=24471396/32770624 swapFree=67108860/67108860
[pid=20650] ppid=20647 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20650/stat : 20650 (xcsp3-exec) S 20647 20650 17435 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154426690 9740288 346 33554432000 4194304 5098028 140734252148944 140734252147048 140214834020988 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23552000 140734252156020 140734252156224 140734252156224 140734252158955 0
/proc/20650/statm: 2378 346 289 221 0 87 0
[pid=20652] ppid=20650 vsize=13984976 memory=237856 CPUtime=242.85 cores=0,2,4,6
/proc/20652/stat : 20652 (java) S 20650 20650 17435 0 -1 1077944320 27716 0 0 0 24270 15 0 0 20 0 15 0 154426690 14320615424 59464 33554432000 4194304 4196468 140728320221952 140728320204496 140323790999287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
/proc/20652/statm: 3496244 59464 3254 1 0 3483478 0
[pid=20652/tid=20653] ppid=20650 vsize=13984976 memory=1692 CPUtime=239.95 cores=0,2,4,6
/proc/20652/task/20653/stat : 20653 (java) R 20650 20650 17435 0 -1 4202560 10230 0 0 0 23991 4 0 0 20 0 15 0 154426691 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323795234912 140323433339102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20654] ppid=20650 vsize=13984976 memory=916 CPUtime=0.03 cores=0,2,4,6
/proc/20652/task/20654/stat : 20654 (java) S 20650 20650 17435 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 15 0 154426692 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323386661520 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20655] ppid=20650 vsize=13984976 memory=4126316290023845779 CPUtime=0.02 cores=0,2,4,6
/proc/20652/task/20655/stat : 20655 (java) S 20650 20650 17435 0 -1 1077944384 634 0 0 0 2 0 0 0 20 0 15 0 154426692 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323385608720 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20656] ppid=20650 vsize=13984976 memory=139893594443664 CPUtime=0.03 cores=0,2,4,6
/proc/20652/task/20656/stat : 20656 (java) S 20650 20650 17435 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 154426692 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323384555920 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20657] ppid=20650 vsize=13984976 memory=3472468172642253984 CPUtime=0.03 cores=0,2,4,6
/proc/20652/task/20657/stat : 20657 (java) S 20650 20650 17435 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 15 0 154426692 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323383503120 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20658] ppid=20650 vsize=13984976 memory=3472468189821861120 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20658/stat : 20658 (java) S 20650 20650 17435 0 -1 1077944384 760 0 0 0 0 0 0 0 20 0 15 0 154426693 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323265166192 140323791010434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20659] ppid=20650 vsize=13984976 memory=591519319816134927 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20659/stat : 20659 (java) S 20650 20650 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154426693 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323264112224 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20660] ppid=20650 vsize=13984976 memory=139893594564665 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20660/stat : 20660 (java) S 20650 20650 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154426694 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323263059328 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20661] ppid=20650 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20661/stat : 20661 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323262007632 140323791017883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20662] ppid=20650 vsize=13984976 memory=237856 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20662/stat : 20662 (java) S 20650 20650 17435 0 -1 1077944384 4754 0 0 0 108 1 0 0 20 0 15 0 154426696 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323260954992 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20663] ppid=20650 vsize=13984976 memory=6791534058613427641 CPUtime=1.09 cores=0,2,4,6
/proc/20652/task/20663/stat : 20663 (java) S 20650 20650 17435 0 -1 1077944384 4641 0 0 0 109 0 0 0 20 0 15 0 154426696 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323259902192 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20664] ppid=20650 vsize=13984976 memory=237856 CPUtime=0.45 cores=0,2,4,6
/proc/20652/task/20664/stat : 20664 (java) S 20650 20650 17435 0 -1 1077944384 4268 0 0 0 44 1 0 0 20 0 15 0 154426696 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323258849392 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20665] ppid=20650 vsize=13984976 memory=3472468022489687271 CPUtime=0 cores=0,2,4,6
/proc/20652/task/20665/stat : 20665 (java) S 20650 20650 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154426696 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323257796832 140323791009493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
[pid=20652/tid=20666] ppid=20650 vsize=13984976 memory=7008596773634103862 CPUtime=0.05 cores=0,2,4,6
/proc/20652/task/20666/stat : 20666 (java) S 20650 20650 17435 0 -1 1077944384 574 0 0 0 2 3 0 0 20 0 15 0 154426696 14320615424 59464 33554432000 4194304 4196468 140728320221952 140323256745136 140323791010434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37732352 140728320230557 140728320230732 140728320230732 140728320233423 0
Current children cumulated CPU time: 242.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 239240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 20650 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001873 s, system=0 s
[startup+240.021 s]
# the end of solver process 20652 was just reported to runsolver
# cumulated CPU time of all completed processes: user=242.717 s, system=0.160053 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): 240.021
CPU time (s): 242.877
CPU user time (s): 242.717
CPU system time (s): 0.160053
CPU usage (%): 101.19
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 239240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.717
system time used= 0.160053
maximum resident set size= 238952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7041
involuntary context switches= 82
# summary of solver processes directly reported to runsolver:
# pid: 20650,20652
# total CPU time (s): 242.877
# total CPU user time (s): 242.717
# total CPU system time (s): 0.160053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59801 second user time and 2.06993 second system time
The end