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 (14742 MiB free)
memory of node 1: 16384 MiB (15639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283203-1503221229/watcher-4283203-1503221229 -o /tmp/evaluation-result-4283203-1503221229/solver-4283203-1503221229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32556 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1407615429 HOME/instance-4283203-1503221229.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9640, runsolver pid=9637
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.51 1.43 1.42 3/202 9647
/proc/meminfo: memFree=31104904/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13374792 memory=15160 CPUtime=0.01 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 3597 0 0 0 1 0 0 0 20 0 6 0 20532022 13695787008 3790 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3343698 3790 1926 1 0 3333195 0
[pid=9642/tid=9643] ppid=9640 vsize=13441356 memory=1404226546251833994 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 2399 0 0 0 0 0 0 0 20 0 7 0 20532023 13763948544 3856 18446744073709551615 4194304 4196468 140734812078528 140675594156816 140675570739248 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 20532023 13763948544 3856 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13441356 memory=139939651118720 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 20532023 13763948544 3856 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 20532024 13763948544 3856 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 20532024 13763948544 3856 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13441356 memory=139939651118720 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 20532025 13763948544 3856 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13384304 KiB
Current children cumulated memory: 16540 KiB
[startup+0.209788 s]*
/proc/loadavg: 1.51 1.43 1.42 3/211 9656
/proc/meminfo: memFree=31094476/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13974352 memory=27204 CPUtime=0.1 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 5220 0 0 0 9 1 0 0 20 0 15 0 20532022 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3493588 6801 2751 1 0 3482964 0
[pid=9642/tid=9643] ppid=9640 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 3360 0 0 0 7 0 0 0 20 0 15 0 20532023 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140675594142240 140675573994846 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13974352 memory=4294977909 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532023 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13974352 memory=139939651343568 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532023 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532024 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532024 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13974352 memory=139939651118720 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532025 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9649/stat : 9649 (java) S 9640 9640 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20532025 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674774172448 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9650] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20532026 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674773120112 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) S 9640 9640 17292 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674771016304 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674769963504 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13974352 memory=139939651118720 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) S 9640 9640 17292 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674768911216 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13974352 memory=139939651118720 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532032 14309736448 6801 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28584 KiB
[startup+0.311204 s]*
/proc/loadavg: 1.51 1.43 1.42 4/211 9656
/proc/meminfo: memFree=31083644/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13974352 memory=39352 CPUtime=0.3 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 9020 0 0 0 28 2 0 0 20 0 15 0 20532022 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3493588 9838 3036 1 0 3482964 0
[pid=9642/tid=9643] ppid=9640 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 6228 0 0 0 16 1 0 0 20 0 15 0 20532023 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140675594148032 140675589926294 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532023 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532023 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532024 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532024 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532025 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9649/stat : 9649 (java) S 9640 9640 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20532025 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674774172448 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9650] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20532026 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674773120112 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13974352 memory=139939497137088 CPUtime=0.03 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) S 9640 9640 17292 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 15 0 20532028 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674771016304 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) S 9640 9640 17292 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 20532028 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674769963504 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13974352 memory=139939651118720 CPUtime=0.06 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) R 9640 9640 17292 0 -1 4202560 724 0 0 0 6 0 0 0 20 0 15 0 20532028 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674768906976 140675589926294 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13974352 memory=139939651118720 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532032 14309736448 9838 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40732 KiB
[startup+0.701361 s]
/proc/loadavg: 1.51 1.43 1.42 5/211 9656
/proc/meminfo: memFree=31068372/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13978684 memory=103660 CPUtime=1.23 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 12399 0 0 0 118 5 0 0 20 0 15 0 20532022 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3494671 25915 3167 1 0 3482964 0
[pid=9642/tid=9643] ppid=9640 vsize=13978684 memory=120 CPUtime=0.55 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 7829 0 0 0 52 3 0 0 20 0 15 0 20532023 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140675594149568 140675589926294 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13978684 memory=37 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532023 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13978684 memory=712 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532023 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532024 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20532024 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20532025 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9649/stat : 9649 (java) S 9640 9640 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20532025 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674774172448 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9650] ppid=9640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20532026 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674773120112 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) R 9640 9640 17292 0 -1 4202560 1145 0 0 0 23 0 0 0 20 0 15 0 20532028 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674771002872 140675569347424 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13978684 memory=4 CPUtime=0.21 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) R 9640 9640 17292 0 -1 4202560 793 0 0 0 21 0 0 0 20 0 15 0 20532028 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674769943568 140675589935706 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13978684 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) R 9640 9640 17292 0 -1 4202560 1323 0 0 0 20 0 0 0 20 0 15 0 20532028 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674768911024 140675589935706 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13978684 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13978684 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20532032 14314172416 25915 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 105040 KiB
[startup+1.50134 s]
/proc/loadavg: 1.63 1.45 1.43 4/211 9656
/proc/meminfo: memFree=30959636/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13980732 memory=220420 CPUtime=3.17 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 14819 0 0 0 307 10 0 0 20 0 15 0 20532022 14316269568 55105 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3495183 55105 3201 1 0 3483476 0
[pid=9642/tid=9643] ppid=9640 vsize=13980732 memory=4124 CPUtime=1.33 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) S 9640 9640 17292 0 -1 1077944384 8018 0 0 0 128 5 0 0 20 0 15 0 20532023 14316269568 55105 18446744073709551615 4194304 4196468 140734812078528 140675594152448 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13980732 memory=120 CPUtime=0.01 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) R 9640 9640 17292 0 -1 4202560 60 0 0 0 1 0 0 0 20 0 15 0 20532023 14316269568 55617 18446744073709551615 4194304 4196468 140734812078528 140675190549592 140675583019007 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13980732 memory=37 CPUtime=0.01 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) R 9640 9640 17292 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 15 0 20532023 14316269568 55617 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675574942233 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13980732 memory=712 CPUtime=0.01 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) R 9640 9640 17292 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 15 0 20532024 14316269568 55617 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675574942233 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13980732 memory=7680170660397595203 CPUtime=0.01 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) R 9640 9640 17292 0 -1 4202560 116 0 0 0 1 0 0 0 20 0 15 0 20532024 14316269568 55617 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675574942242 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13980732 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 20532025 14316269568 55617 18446744073709551615 4194304 4196468 140734812078528 140674775224992 140675589924565 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13980732 memory=6153431502485415778 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 20532026 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674773120128 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13980732 memory=348404 CPUtime=4.19 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) S 9640 9640 17292 0 -1 1077944384 22736 0 0 0 416 3 0 0 20 0 15 0 20532028 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674771016304 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13980732 memory=348404 CPUtime=4.14 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) S 9640 9640 17292 0 -1 1077944384 20300 0 0 0 412 2 0 0 20 0 15 0 20532028 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674769963504 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13980732 memory=348404 CPUtime=0.77 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) S 9640 9640 17292 0 -1 1077944384 12033 0 0 0 75 2 0 0 20 0 15 0 20532028 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674768911216 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13980732 memory=349232 CPUtime=1.23 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1362 0 0 0 55 68 0 0 20 0 15 0 20532032 14316269568 87161 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 2341.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 350024 KiB
[startup+2382.3 s]
/proc/loadavg: 1.62 1.61 1.59 3/212 9902
/proc/meminfo: memFree=25040940/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13980732 memory=347760 CPUtime=2401.81 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 146343 0 0 0 240009 172 0 0 20 0 15 0 20532022 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3495183 86940 3252 1 0 3483476 0
[pid=9642/tid=9643] ppid=9640 vsize=13980732 memory=1380 CPUtime=2377.59 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 48833 0 0 0 237735 24 0 0 20 0 15 0 20532023 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140675594153728 140675232970520 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13980732 memory=347760 CPUtime=3.23 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 8523 0 0 0 304 19 0 0 20 0 15 0 20532023 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13980732 memory=1380 CPUtime=3.24 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 7013 0 0 0 305 19 0 0 20 0 15 0 20532023 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13980732 memory=348788 CPUtime=3.25 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 7814 0 0 0 307 18 0 0 20 0 15 0 20532024 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13980732 memory=347760 CPUtime=3.23 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 8247 0 0 0 304 19 0 0 20 0 15 0 20532024 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13980732 memory=1380 CPUtime=0.77 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 7890 0 0 0 65 12 0 0 20 0 15 0 20532025 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9649/stat : 9649 (java) S 9640 9640 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 20532025 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674774172512 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9650] ppid=9640 vsize=13980732 memory=347760 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 20532026 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674773120128 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13980732 memory=347760 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13980732 memory=1380 CPUtime=4.2 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) S 9640 9640 17292 0 -1 1077944384 22914 0 0 0 417 3 0 0 20 0 15 0 20532028 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674771016304 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13980732 memory=347760 CPUtime=4.16 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) S 9640 9640 17292 0 -1 1077944384 20359 0 0 0 414 2 0 0 20 0 15 0 20532028 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674769963504 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13980732 memory=347760 CPUtime=0.78 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) S 9640 9640 17292 0 -1 1077944384 12035 0 0 0 76 2 0 0 20 0 15 0 20532028 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674768911216 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13980732 memory=347760 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13980732 memory=1380 CPUtime=1.27 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1369 0 0 0 57 70 0 0 20 0 15 0 20532032 14316269568 86940 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 2401.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 349140 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.60 1.59 3/212 9904
/proc/meminfo: memFree=25119804/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13980732 memory=345752 CPUtime=2462.02 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 147499 0 0 0 246028 174 0 0 20 0 15 0 20532022 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3495183 86438 3252 1 0 3483476 0
[pid=9642/tid=9643] ppid=9640 vsize=13980732 memory=345752 CPUtime=2437.48 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 49346 0 0 0 243724 24 0 0 20 0 15 0 20532023 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140675594153888 140675232969944 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13980732 memory=346780 CPUtime=3.29 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 8584 0 0 0 310 19 0 0 20 0 15 0 20532023 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13980732 memory=346780 CPUtime=3.31 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 7196 0 0 0 312 19 0 0 20 0 15 0 20532023 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13980732 memory=0 CPUtime=3.32 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 8097 0 0 0 313 19 0 0 20 0 15 0 20532024 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13980732 memory=1380 CPUtime=3.29 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 8298 0 0 0 310 19 0 0 20 0 15 0 20532024 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13980732 memory=346780 CPUtime=0.79 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 7936 0 0 0 67 12 0 0 20 0 15 0 20532025 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13980732 memory=345752 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9649/stat : 9649 (java) S 9640 9640 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 20532025 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674774172512 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9650] ppid=9640 vsize=13980732 memory=345752 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 20532026 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674773120128 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13980732 memory=345752 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13980732 memory=345752 CPUtime=4.2 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) S 9640 9640 17292 0 -1 1077944384 22914 0 0 0 417 3 0 0 20 0 15 0 20532028 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674771016304 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13980732 memory=1380 CPUtime=4.16 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) S 9640 9640 17292 0 -1 1077944384 20359 0 0 0 414 2 0 0 20 0 15 0 20532028 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674769963504 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13980732 memory=345752 CPUtime=0.78 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) S 9640 9640 17292 0 -1 1077944384 12036 0 0 0 76 2 0 0 20 0 15 0 20532028 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674768911216 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13980732 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1387 0 0 0 58 72 0 0 20 0 15 0 20532032 14316269568 86438 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 2462.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 347132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.8 s]
/proc/loadavg: 1.80 1.67 1.61 3/212 9983
/proc/meminfo: memFree=30973128/32770624 swapFree=67108860/67108860
[pid=9640] ppid=9637 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9640/stat : 9640 (xcsp3-exec) S 9637 9640 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20532014 9740288 345 18446744073709551615 4194304 5098028 140731479460304 140731479458408 140609708589692 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 32911360 140731479462265 140731479462470 140731479462470 140731479465963 0
/proc/9640/statm: 2378 345 289 221 0 87 0
[pid=9642] ppid=9640 vsize=13980732 memory=340432 CPUtime=2520.03 cores=1,3,5,7
/proc/9642/stat : 9642 (java) S 9640 9640 17292 0 -1 1077944320 149103 0 0 0 251826 177 0 0 20 0 15 0 20532022 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140734812061072 140675589914359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
/proc/9642/statm: 3495183 85108 3252 1 0 3483476 0
[pid=9642/tid=9643] ppid=9640 vsize=13980732 memory=288230604624101684 CPUtime=2494.73 cores=1,3,5,7
/proc/9642/task/9643/stat : 9643 (java) R 9640 9640 17292 0 -1 4202560 49566 0 0 0 249449 24 0 0 20 0 15 0 20532023 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140675594153792 140675232969949 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9644] ppid=9640 vsize=13980732 memory=340432 CPUtime=3.47 cores=1,3,5,7
/proc/9642/task/9644/stat : 9644 (java) S 9640 9640 17292 0 -1 1077944384 8737 0 0 0 327 20 0 0 20 0 15 0 20532023 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140675190549392 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9645] ppid=9640 vsize=13980732 memory=1156 CPUtime=3.47 cores=1,3,5,7
/proc/9642/task/9645/stat : 9645 (java) S 9640 9640 17292 0 -1 1077944384 7469 0 0 0 328 19 0 0 20 0 15 0 20532023 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140675189496592 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9646] ppid=9640 vsize=13980732 memory=2532 CPUtime=3.49 cores=1,3,5,7
/proc/9642/task/9646/stat : 9646 (java) S 9640 9640 17292 0 -1 1077944384 8302 0 0 0 330 19 0 0 20 0 15 0 20532024 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140675188444304 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9647] ppid=9640 vsize=13980732 memory=1376 CPUtime=3.46 cores=1,3,5,7
/proc/9642/task/9647/stat : 9647 (java) S 9640 9640 17292 0 -1 1077944384 8466 0 0 0 327 19 0 0 20 0 15 0 20532024 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140675187391504 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9648] ppid=9640 vsize=13980732 memory=381208 CPUtime=0.84 cores=1,3,5,7
/proc/9642/task/9648/stat : 9648 (java) S 9640 9640 17292 0 -1 1077944384 8492 0 0 0 71 13 0 0 20 0 15 0 20532025 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674775226480 140675589925506 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9649] ppid=9640 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9649/stat : 9649 (java) S 9640 9640 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 20532025 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674774172512 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9650] ppid=9640 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9650/stat : 9650 (java) S 9640 9640 17292 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 20532026 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674773120128 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9651] ppid=9640 vsize=13980732 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9651/stat : 9651 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674772068432 140675589932955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9652] ppid=9640 vsize=13980732 memory=6933928925625698159 CPUtime=4.2 cores=1,3,5,7
/proc/9642/task/9652/stat : 9652 (java) S 9640 9640 17292 0 -1 1077944384 22916 0 0 0 417 3 0 0 20 0 15 0 20532028 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674771016304 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9653] ppid=9640 vsize=13980732 memory=1380 CPUtime=4.16 cores=1,3,5,7
/proc/9642/task/9653/stat : 9653 (java) S 9640 9640 17292 0 -1 1077944384 20361 0 0 0 414 2 0 0 20 0 15 0 20532028 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674769963504 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9654] ppid=9640 vsize=13980732 memory=340432 CPUtime=0.78 cores=1,3,5,7
/proc/9642/task/9654/stat : 9654 (java) S 9640 9640 17292 0 -1 1077944384 12038 0 0 0 76 2 0 0 20 0 15 0 20532028 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674768911216 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9655] ppid=9640 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9642/task/9655/stat : 9655 (java) S 9640 9640 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20532028 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674767858656 140675589924565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
[pid=9642/tid=9656] ppid=9640 vsize=13980732 memory=1200 CPUtime=1.33 cores=1,3,5,7
/proc/9642/task/9656/stat : 9656 (java) S 9640 9640 17292 0 -1 1077944384 1410 0 0 0 59 74 0 0 20 0 15 0 20532032 14316269568 85108 18446744073709551615 4194304 4196468 140734812078528 140674766805424 140675589925506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37093376 140734812082610 140734812082786 140734812082786 140734812086223 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 341812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.81 s]
# the end of solver process 9640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001849 s
[startup+2499.81 s]
# the end of solver process 9642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.27 s, system=1.78455 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2499.81
CPU time (s): 2520.05
CPU user time (s): 2518.27
CPU system time (s): 1.78455
CPU usage (%): 100.81
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1254748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.27
system time used= 1.78455
maximum resident set size= 1272900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75223
involuntary context switches= 1746
# summary of solver processes directly reported to runsolver:
# pid: 9640,9642
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.27
# total CPU system time (s): 1.78455
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8878 second user time and 24.2408 second system time
The end