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 (11811 MiB free)
memory of node 1: 16384 MiB (15725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283973-1503206152/watcher-4283973-1503206152 -o /tmp/evaluation-result-4283973-1503206152/solver-4283973-1503206152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 843342003 HOME/instance-4283973-1503206152.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
Current StackSize limit: 8192 KiB
solver pid=4104, runsolver pid=4101
[startup+0.100161 s]*
/proc/loadavg: 2.03 1.93 1.94 2/201 4105
/proc/meminfo: memFree=28197824/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (runsolver) D 4101 4104 15523 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 19023226 34791424 114 18446744073709551615 4194304 4346622 140721805999968 140721805996600 140029261226711 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 37011456 140721806004280 140721806004773 140721806004773 140721806008266 0
/proc/4104/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209416 s]*
/proc/loadavg: 2.03 1.93 1.94 3/216 4120
/proc/meminfo: memFree=28186056/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13974352 memory=22544 CPUtime=0.06 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 5060 0 0 0 5 1 0 0 20 0 15 0 19023237 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3493588 5636 2715 1 0 3482964 0
[pid=4106/tid=4107] ppid=4104 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 3223 0 0 0 4 1 0 0 20 0 15 0 19023238 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140620064103456 140620059899037 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13974352 memory=8942 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13974352 memory=140029264384612 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023238 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13974352 memory=140029264176768 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023240 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19023240 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619537277728 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19023240 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619536225392 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) S 4104 4104 15523 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 19023243 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619534121584 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619533068784 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13974352 memory=140029264176768 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 19023243 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13974352 memory=140029264176768 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023247 14309736448 5636 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23924 KiB
[startup+0.310968 s]*
/proc/loadavg: 2.03 1.93 1.94 3/216 4120
/proc/meminfo: memFree=28175540/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13975376 memory=37624 CPUtime=0.25 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 8498 0 0 0 22 3 0 0 20 0 15 0 19023237 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3493844 9406 2981 1 0 3483220 0
[pid=4106/tid=4107] ppid=4104 vsize=13975376 memory=6933928925625698159 CPUtime=0.15 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 5797 0 0 0 13 2 0 0 20 0 15 0 19023238 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140620064096464 140620052556829 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023238 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023240 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19023240 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619537277728 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19023240 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619536225392 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13975376 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) S 4104 4104 15523 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 19023243 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619534121584 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) S 4104 4104 15523 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 15 0 19023243 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619533068784 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13975376 memory=140029264176768 CPUtime=0.05 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 730 0 0 0 5 0 0 0 20 0 15 0 19023243 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13975376 memory=140029264176768 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023247 14310785024 9406 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 39004 KiB
[startup+0.700839 s]
/proc/loadavg: 2.03 1.93 1.94 5/216 4120
/proc/meminfo: memFree=28155940/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13978684 memory=79852 CPUtime=1.3 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 13104 0 0 0 125 5 0 0 20 0 15 0 19023237 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3494671 19963 3157 1 0 3482964 0
[pid=4106/tid=4107] ppid=4104 vsize=13978684 memory=7518026621751088992 CPUtime=0.53 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 7847 0 0 0 50 3 0 0 20 0 15 0 19023238 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140620064111872 140619665472810 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023238 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19023240 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19023240 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619537277728 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13978684 memory=792 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19023240 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619536225392 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13978684 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13978684 memory=4612 CPUtime=0.24 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) R 4104 4104 15523 0 -1 4202560 1035 0 0 0 24 0 0 0 20 0 15 0 19023243 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619534112416 140620040599040 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13978684 memory=1200 CPUtime=0.23 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) R 4104 4104 15523 0 -1 4202560 1224 0 0 0 23 0 0 0 20 0 15 0 19023243 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619533056016 140620043287983 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13978684 memory=15872 CPUtime=0.27 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 1688 0 0 0 27 0 0 0 20 0 15 0 19023243 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13978684 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13978684 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023247 14314172416 19963 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 81232 KiB
[startup+1.50934 s]
/proc/loadavg: 1.95 1.91 1.93 5/216 4120
/proc/meminfo: memFree=28041136/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13980732 memory=194968 CPUtime=3.27 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 14809 0 0 0 319 8 0 0 20 0 15 0 19023237 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3495183 48742 3199 1 0 3483476 0
[pid=4106/tid=4107] ppid=4104 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 8469 0 0 0 127 5 0 0 20 0 15 0 19023238 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140620064112152 140619666604800 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13980732 memory=4124 CPUtime=0.01 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 19023238 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 19023238 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13980732 memory=140029154335424 CPUtime=0.01 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 19023238 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19023238 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13980732 memory=14912126454842 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619537277728 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619536225392 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13980732 memory=280058308591856 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13980732 memory=288230574492221466 CPUtime=0.74 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) R 4104 4104 15523 0 -1 4202560 1520 0 0 0 74 0 0 0 20 0 15 0 19023243 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619534121880 140620043415544 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13980732 memory=288230613214036277 CPUtime=0.75 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) S 4104 4104 15523 0 -1 1077944384 1517 0 0 0 75 0 0 0 20 0 15 0 19023243 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619533068784 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13980732 memory=15824395507599082 CPUtime=0.37 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 1856 0 0 0 37 0 0 0 20 0 15 0 19023243 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19023247 14316269568 48742 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
################
# More data... #
################
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13980732 memory=9331992 CPUtime=147.27 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 116199 0 0 0 13877 850 0 0 20 0 15 0 19023237 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3495183 2332998 3241 1 0 3483476 0
[pid=4106/tid=4107] ppid=4104 vsize=13980732 memory=8109740 CPUtime=61.45 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 13308 0 0 0 6135 10 0 0 20 0 15 0 19023238 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140620064116016 140619666604821 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13980732 memory=1996 CPUtime=20.28 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 18196 0 0 0 1822 206 0 0 20 0 15 0 19023238 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13980732 memory=13708 CPUtime=20.17 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 17524 0 0 0 1802 215 0 0 20 0 15 0 19023238 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13980732 memory=1296 CPUtime=20.27 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 16705 0 0 0 1830 197 0 0 20 0 15 0 19023238 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13980732 memory=2412 CPUtime=20.3 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 16611 0 0 0 1817 213 0 0 20 0 15 0 19023238 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13980732 memory=8109740 CPUtime=1.11 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 16871 0 0 0 110 1 0 0 20 0 15 0 19023240 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619537277792 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619536225408 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13980732 memory=9322348 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13980732 memory=4124 CPUtime=1.5 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) S 4104 4104 15523 0 -1 1077944384 5751 0 0 0 149 1 0 0 20 0 15 0 19023243 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619534121584 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13980732 memory=9322348 CPUtime=1.55 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) S 4104 4104 15523 0 -1 1077944384 5482 0 0 0 154 1 0 0 20 0 15 0 19023243 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619533068784 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13980732 memory=7680170660397595203 CPUtime=0.5 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 4251 0 0 0 50 0 0 0 20 0 15 0 19023243 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13980732 memory=155 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13980732 memory=50 CPUtime=0.03 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 175 0 0 0 2 1 0 0 20 0 15 0 19023247 14316269568 2332998 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 147.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9333372 KiB
[startup+84.8008 s]
/proc/loadavg: 2.27 2.07 1.99 3/213 4123
/proc/meminfo: memFree=17065148/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13980732 memory=9336976 CPUtime=149.85 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 125630 0 0 0 14134 851 0 0 20 0 15 0 19023237 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3495183 2334244 3252 1 0 3483476 0
[pid=4106/tid=4107] ppid=4104 vsize=13980732 memory=9331992 CPUtime=63.05 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 16213 0 0 0 6295 10 0 0 20 0 15 0 19023238 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140620064113568 140620059889046 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13980732 memory=7680170660397595203 CPUtime=20.28 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 18196 0 0 0 1822 206 0 0 20 0 15 0 19023238 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13980732 memory=1380 CPUtime=20.17 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 17524 0 0 0 1802 215 0 0 20 0 15 0 19023238 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13980732 memory=9331992 CPUtime=20.27 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 16705 0 0 0 1830 197 0 0 20 0 15 0 19023238 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13980732 memory=1996 CPUtime=20.3 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 16611 0 0 0 1817 213 0 0 20 0 15 0 19023238 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13980732 memory=1380 CPUtime=1.11 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 16882 0 0 0 110 1 0 0 20 0 15 0 19023240 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13980732 memory=9333168 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619537277792 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13980732 memory=13708 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619536225408 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13980732 memory=7680170660397595203 CPUtime=1.84 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) S 4104 4104 15523 0 -1 1077944384 7602 0 0 0 182 2 0 0 20 0 15 0 19023243 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619534121584 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13980732 memory=7292572 CPUtime=2.12 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) R 4104 4104 15523 0 -1 4202560 8180 0 0 0 211 1 0 0 20 0 15 0 19023243 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619533068784 140620039122959 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13980732 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 6217 0 0 0 58 1 0 0 20 0 15 0 19023243 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13980732 memory=7378411687808166000 CPUtime=0.03 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 175 0 0 0 2 1 0 0 20 0 15 0 19023247 14316269568 2334244 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 149.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9338356 KiB
[startup+85.2008 s]
/proc/loadavg: 2.27 2.07 1.99 3/213 4123
/proc/meminfo: memFree=17063720/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13980732 memory=9337296 CPUtime=150.38 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 125891 0 0 0 14187 851 0 0 20 0 15 0 19023237 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3495183 2334324 3252 1 0 3483476 0
[pid=4106/tid=4107] ppid=4104 vsize=13980732 memory=7523376918531162212 CPUtime=63.45 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 16388 0 0 0 6335 10 0 0 20 0 15 0 19023238 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140620064117008 140619664137045 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13980732 memory=7523376918531162212 CPUtime=20.28 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 18196 0 0 0 1822 206 0 0 20 0 15 0 19023238 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13980732 memory=7523376918531162212 CPUtime=20.17 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 17524 0 0 0 1802 215 0 0 20 0 15 0 19023238 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13980732 memory=7523376918531162212 CPUtime=20.27 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 16705 0 0 0 1830 197 0 0 20 0 15 0 19023238 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13980732 memory=7955439899696783958 CPUtime=20.3 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 16611 0 0 0 1817 213 0 0 20 0 15 0 19023238 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13980732 memory=7956001733025939556 CPUtime=1.11 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 16882 0 0 0 110 1 0 0 20 0 15 0 19023240 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13980732 memory=7956001733025939556 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619537277792 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13980732 memory=7525067911714137920 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619536225408 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13980732 memory=7595110096576210802 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13980732 memory=7595110096576210802 CPUtime=1.89 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) R 4104 4104 15523 0 -1 4202560 7606 0 0 0 187 2 0 0 20 0 15 0 19023243 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619534109824 140620041131937 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13980732 memory=7811888554910967911 CPUtime=2.17 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) R 4104 4104 15523 0 -1 4202560 8203 0 0 0 216 1 0 0 20 0 15 0 19023243 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619533055920 140620045917856 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13980732 memory=7525067911714137920 CPUtime=0.62 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 6276 0 0 0 61 1 0 0 20 0 15 0 19023243 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13980732 memory=7594595546589848680 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13980732 memory=7525067911714137920 CPUtime=0.03 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 175 0 0 0 2 1 0 0 20 0 15 0 19023247 14316269568 2334324 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 150.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9338676 KiB
[startup+85.4008 s]
/proc/loadavg: 2.27 2.07 1.99 3/213 4123
/proc/meminfo: memFree=17063720/32770624 swapFree=67108860/67108860
[pid=4104] ppid=4101 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4104/stat : 4104 (xcsp3-exec) S 4101 4104 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19023226 9740288 345 18446744073709551615 4194304 5098028 140722046224720 140722046222824 140133498720892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 23457792 140722046230906 140722046231110 140722046231110 140722046234603 0
/proc/4104/statm: 2378 345 289 221 0 87 0
[pid=4106] ppid=4104 vsize=13980732 memory=9337360 CPUtime=150.87 cores=1,3,5,7
/proc/4106/stat : 4106 (java) S 4104 4104 15523 0 -1 1077944320 126153 0 0 0 14236 851 0 0 20 0 15 0 19023237 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140733861138080 140620059877111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
/proc/4106/statm: 3495183 2334340 3252 1 0 3483476 0
[pid=4106/tid=4107] ppid=4104 vsize=13980732 memory=0 CPUtime=63.65 cores=1,3,5,7
/proc/4106/task/4107/stat : 4107 (java) R 4104 4104 15523 0 -1 4202560 16638 0 0 0 6355 10 0 0 20 0 15 0 19023238 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140620064114504 140619664126598 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4108] ppid=4104 vsize=13980732 memory=0 CPUtime=20.28 cores=1,3,5,7
/proc/4106/task/4108/stat : 4108 (java) S 4104 4104 15523 0 -1 1077944384 18196 0 0 0 1822 206 0 0 20 0 15 0 19023238 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619994311568 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4109] ppid=4104 vsize=13980732 memory=0 CPUtime=20.17 cores=1,3,5,7
/proc/4106/task/4109/stat : 4109 (java) S 4104 4104 15523 0 -1 1077944384 17524 0 0 0 1802 215 0 0 20 0 15 0 19023238 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619993258768 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4110] ppid=4104 vsize=13980732 memory=0 CPUtime=20.27 cores=1,3,5,7
/proc/4106/task/4110/stat : 4110 (java) S 4104 4104 15523 0 -1 1077944384 16705 0 0 0 1830 197 0 0 20 0 15 0 19023238 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619992206480 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4111] ppid=4104 vsize=13980732 memory=0 CPUtime=20.3 cores=1,3,5,7
/proc/4106/task/4111/stat : 4111 (java) S 4104 4104 15523 0 -1 1077944384 16611 0 0 0 1817 213 0 0 20 0 15 0 19023238 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619991153680 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4112] ppid=4104 vsize=13980732 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/4106/task/4112/stat : 4112 (java) S 4104 4104 15523 0 -1 1077944384 16882 0 0 0 110 1 0 0 20 0 15 0 19023240 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619538331760 140620059888258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4113] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4113/stat : 4113 (java) S 4104 4104 15523 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619537277792 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4114] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4114/stat : 4114 (java) S 4104 4104 15523 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 19023240 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619536225408 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4115] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4115/stat : 4115 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619535173712 140620059895707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4116] ppid=4104 vsize=13980732 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/4106/task/4116/stat : 4116 (java) S 4104 4104 15523 0 -1 1077944384 7611 0 0 0 199 2 0 0 20 0 15 0 19023243 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619534121584 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4117] ppid=4104 vsize=13980732 memory=0 CPUtime=2.33 cores=1,3,5,7
/proc/4106/task/4117/stat : 4117 (java) S 4104 4104 15523 0 -1 1077944384 8206 0 0 0 232 1 0 0 20 0 15 0 19023243 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619533068784 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4118] ppid=4104 vsize=13980732 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/4106/task/4118/stat : 4118 (java) S 4104 4104 15523 0 -1 1077944384 6280 0 0 0 62 1 0 0 20 0 15 0 19023243 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619532016496 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4119] ppid=4104 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4106/task/4119/stat : 4119 (java) S 4104 4104 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19023243 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619530963936 140620059887317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
[pid=4106/tid=4120] ppid=4104 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4106/task/4120/stat : 4120 (java) S 4104 4104 15523 0 -1 1077944384 175 0 0 0 2 1 0 0 20 0 15 0 19023247 14316269568 2334340 18446744073709551615 4194304 4196468 140733861155536 140619529910704 140620059888258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17317888 140733861159346 140733861159522 140733861159522 140733861162959 0
Current children cumulated CPU time: 150.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 9338740 KiB
Child status: 0
Real time (s): 85.4685
CPU time (s): 150.954
CPU user time (s): 142.387
CPU system time (s): 8.56613
CPU usage (%): 176.619
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 9338740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.387
system time used= 8.56613
maximum resident set size= 9337840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6000
involuntary context switches= 936
# summary of solver processes directly reported to runsolver:
# pid: 4104
# total CPU time (s): 150.954
# total CPU user time (s): 142.387
# total CPU system time (s): 8.56613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.556626 second user time and 0.911475 second system time
The end