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 (14026 MiB free)
memory of node 1: 16384 MiB (15622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283891-1503200313/watcher-4283891-1503200313 -o /tmp/evaluation-result-4283891-1503200313/solver-4283891-1503200313 -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 306974650 HOME/instance-4283891-1503200313.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=5461, runsolver pid=5458
[startup+0.100142 s]*
/proc/loadavg: 1.65 1.70 1.74 3/197 5463
/proc/meminfo: memFree=30359444/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=11657624 memory=8572 CPUtime=0 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 1857 0 0 0 0 0 0 0 20 0 2 0 18440439 11937406976 2077 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 2914406 2077 1142 1 0 2904376 0
[pid=5463/tid=5464] ppid=5461 vsize=11917232 memory=1404226546251833994 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) D 5461 5461 17292 0 -1 4202560 961 0 0 0 0 0 0 0 20 0 6 0 18440439 12203245568 2407 18446744073709551615 4194304 4196468 140722081494000 140370602698856 140370570459616 0 4 1 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=11917232 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) R 5461 5461 17292 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 18440440 12203245568 2407 18446744073709551615 4194304 4196468 140722081494000 140370540402488 140370591174183 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=11923880 memory=140084247987840 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) D 5461 5461 17292 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 18440440 12210053120 2407 18446744073709551615 4194304 4196468 140722081494000 140370539349944 140370590684899 0 4 1 16784584 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=11923880 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 18440440 12210053120 2407 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=11923880 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 18440440 12210053120 2407 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 9948 KiB
[startup+0.209966 s]*
/proc/loadavg: 1.65 1.70 1.74 3/211 5477
/proc/meminfo: memFree=30344784/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13974352 memory=28108 CPUtime=0.09 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 4923 0 0 0 8 1 0 0 20 0 15 0 18440439 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3493588 7027 2749 1 0 3482964 0
[pid=5463/tid=5464] ppid=5461 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 3062 0 0 0 6 1 0 0 20 0 15 0 18440439 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370602680720 140370582537566 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13974352 memory=4294977909 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13974352 memory=140084248194929 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13974352 memory=140084247987840 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440441 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18440441 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370143176096 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18440442 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370142123504 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) S 5461 5461 17292 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370140018672 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370138966128 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13974352 memory=140084247987840 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5461 17292 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13974352 memory=140084247987840 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440448 14309736448 7027 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29484 KiB
[startup+0.310388 s]*
/proc/loadavg: 1.65 1.70 1.74 4/211 5477
/proc/meminfo: memFree=30331940/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13974352 memory=37736 CPUtime=0.28 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 8512 0 0 0 26 2 0 0 20 0 15 0 18440439 14309736448 9434 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3493588 9434 2984 1 0 3482964 0
[pid=5463/tid=5464] ppid=5461 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 5680 0 0 0 15 2 0 0 20 0 15 0 18440439 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370602686816 140370598479005 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440440 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440441 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18440441 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370143176096 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18440442 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370142123504 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) R 5461 5461 17292 0 -1 4202560 582 0 0 0 2 0 0 0 20 0 15 0 18440444 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370139999688 140370590746368 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) R 5461 5461 17292 0 -1 4202560 222 0 0 0 2 0 0 0 20 0 15 0 18440444 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370138966128 140370591442121 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13974352 memory=140084247987840 CPUtime=0.06 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) R 5461 5461 17292 0 -1 1077944384 727 0 0 0 6 0 0 0 20 0 15 0 18440444 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13974352 memory=140084247987840 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440448 14309736448 9946 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39112 KiB
[startup+0.701784 s]
/proc/loadavg: 1.65 1.70 1.74 3/211 5477
/proc/meminfo: memFree=30302232/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13978684 memory=150600 CPUtime=1.1 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 11934 0 0 0 105 5 0 0 20 0 15 0 18440439 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3494671 37650 3159 1 0 3482964 0
[pid=5463/tid=5464] ppid=5461 vsize=13978684 memory=5787495302074487379 CPUtime=0.54 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 7340 0 0 0 50 4 0 0 20 0 15 0 18440439 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370602692464 140370221018182 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13978684 memory=280168233049576 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440440 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13978684 memory=280168233156496 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440440 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13978684 memory=4596 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440440 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440440 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18440441 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18440441 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370143176096 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13978684 memory=8708 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18440442 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370142123504 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13978684 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13978684 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) R 5461 5461 17292 0 -1 4202560 1348 0 0 0 16 0 0 0 20 0 15 0 18440444 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370140004064 140370579978295 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13978684 memory=3116 CPUtime=0.15 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) R 5461 5461 17292 0 -1 4202560 756 0 0 0 15 0 0 0 20 0 15 0 18440444 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370138947144 140370581988558 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13978684 memory=6933928925625698159 CPUtime=0.22 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5461 17292 0 -1 1077944384 1185 0 0 0 22 0 0 0 20 0 15 0 18440444 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13978684 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18440448 14314172416 37650 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 151976 KiB
[startup+1.50086 s]
/proc/loadavg: 1.65 1.70 1.74 4/211 5477
/proc/meminfo: memFree=30096760/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13978684 memory=417520 CPUtime=2.82 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 13522 0 0 0 261 21 0 0 20 0 15 0 18440439 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3494671 104380 3198 1 0 3482964 0
[pid=5463/tid=5464] ppid=5461 vsize=13978684 memory=280168233031440 CPUtime=1.27 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 7428 0 0 0 120 7 0 0 20 0 15 0 18440439 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370602695656 140370581434995 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13978684 memory=7680170660397595203 CPUtime=0.06 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 81 0 0 0 3 3 0 0 20 0 15 0 18440440 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13978684 memory=-7737605734073691286 CPUtime=0.05 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 15 0 18440440 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13978684 memory=6944656592455360569 CPUtime=0.05 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 82 0 0 0 2 3 0 0 20 0 15 0 18440440 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13978684 memory=280168233094528 CPUtime=0.07 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 181 0 0 0 4 3 0 0 20 0 15 0 18440440 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13978684 memory=280168232911088 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 18440441 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13978684 memory=2705 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18440441 14314172416 104380 18446744073709551615 4194304 4196468 140722081494000 140370143176160 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13980732 memory=1534112 CPUtime=98.68 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 54816 0 0 0 9781 87 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3495183 383528 3238 1 0 3483476 0
[pid=5463/tid=5464] ppid=5461 vsize=13980732 memory=1200 CPUtime=90.64 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 17688 0 0 0 9046 18 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370602693728 140370223660113 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13980732 memory=15876 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 743 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13980732 memory=8292 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 538 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13980732 memory=16444 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 617 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13980732 memory=7680170660397595203 CPUtime=0.37 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 660 0 0 0 22 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 1629 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13980732 memory=1534112 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370143176160 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13980732 memory=1534112 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18440442 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370142123520 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13980732 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13980732 memory=5404 CPUtime=3.07 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) S 5461 5461 17292 0 -1 1077944384 12873 0 0 0 306 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370140018672 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13980732 memory=1704 CPUtime=2.71 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) S 5461 5461 17292 0 -1 1077944384 12093 0 0 0 270 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370138966128 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13980732 memory=4616 CPUtime=0.65 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5461 17292 0 -1 1077944384 6111 0 0 0 64 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13980732 memory=8704 CPUtime=0.05 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 535 0 0 0 3 2 0 0 20 0 15 0 18440448 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 98.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1535488 KiB
[startup+92.8008 s]
/proc/loadavg: 1.62 1.69 1.74 3/211 5481
/proc/meminfo: memFree=28762812/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13980732 memory=1534112 CPUtime=100.28 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 55184 0 0 0 9941 87 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3495183 383528 3238 1 0 3483476 0
[pid=5463/tid=5464] ppid=5461 vsize=13980732 memory=4124 CPUtime=92.24 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 18025 0 0 0 9206 18 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370602693728 140370223657831 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13980732 memory=13472 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 743 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13980732 memory=1376 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 538 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13980732 memory=7680170660397595203 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 617 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13980732 memory=1704 CPUtime=0.37 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 660 0 0 0 22 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 1638 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370143176160 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13980732 memory=8548832187152109950 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18440442 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370142123520 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13980732 memory=13472 CPUtime=3.07 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) S 5461 5461 17292 0 -1 1077944384 12873 0 0 0 306 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370140018672 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13980732 memory=1292 CPUtime=2.71 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) S 5461 5461 17292 0 -1 1077944384 12093 0 0 0 270 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370138966128 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13980732 memory=1376 CPUtime=0.65 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5461 17292 0 -1 1077944384 6111 0 0 0 64 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13980732 memory=1534112 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13980732 memory=1534112 CPUtime=0.05 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 557 0 0 0 3 2 0 0 20 0 15 0 18440448 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 100.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1535488 KiB
[startup+93.2008 s]
/proc/loadavg: 1.57 1.68 1.73 3/211 5481
/proc/meminfo: memFree=28762840/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13980732 memory=1534112 CPUtime=100.68 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 55189 0 0 0 9981 87 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3495183 383528 3238 1 0 3483476 0
[pid=5463/tid=5464] ppid=5461 vsize=13980732 memory=3908 CPUtime=92.64 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 18030 0 0 0 9246 18 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370602693728 140370223659761 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13980732 memory=2812 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 743 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13980732 memory=3116 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 538 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13980732 memory=15876 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 617 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13980732 memory=8292 CPUtime=0.37 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 660 0 0 0 22 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 1638 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13980732 memory=36 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370143176160 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13980732 memory=37 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18440442 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370142123520 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13980732 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) S 5461 5461 17292 0 -1 1077944384 12873 0 0 0 306 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370140018672 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13980732 memory=0 CPUtime=2.71 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) S 5461 5461 17292 0 -1 1077944384 12093 0 0 0 270 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370138966128 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5461 17292 0 -1 1077944384 6111 0 0 0 64 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13980732 memory=307 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13980732 memory=271 CPUtime=0.05 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 557 0 0 0 3 2 0 0 20 0 15 0 18440448 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 100.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1535488 KiB
[startup+93.4008 s]
/proc/loadavg: 1.57 1.68 1.73 3/211 5481
/proc/meminfo: memFree=28762840/32770624 swapFree=67108860/67108860
[pid=5461] ppid=5458 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (xcsp3-exec) S 5458 5461 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18440429 9740288 344 18446744073709551615 4194304 5098028 140736006318992 140736006317096 140135074935420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 11177984 140736006324602 140736006324806 140736006324806 140736006328299 0
/proc/5461/statm: 2378 344 289 221 0 87 0
[pid=5463] ppid=5461 vsize=13980732 memory=1534112 CPUtime=100.88 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5461 17292 0 -1 1077944320 55194 0 0 0 10001 87 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140722081476544 140370598457079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
/proc/5463/statm: 3495183 383528 3238 1 0 3483476 0
[pid=5463/tid=5464] ppid=5461 vsize=13980732 memory=4 CPUtime=92.84 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5461 17292 0 -1 4202560 18033 0 0 0 9266 18 0 0 20 0 15 0 18440439 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370602693728 140370223008316 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5465] ppid=5461 vsize=13980732 memory=36 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5461 17292 0 -1 1077944384 743 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370540402960 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5466] ppid=5461 vsize=13980732 memory=302022848351043610 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5461 17292 0 -1 1077944384 538 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370539350416 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5467] ppid=5461 vsize=13980732 memory=288230604624101684 CPUtime=0.36 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5461 17292 0 -1 1077944384 617 0 0 0 21 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370538297872 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5468] ppid=5461 vsize=13980732 memory=14408207351153925 CPUtime=0.37 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5461 17292 0 -1 1077944384 660 0 0 0 22 15 0 0 20 0 15 0 18440440 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370195782288 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5469] ppid=5461 vsize=13980732 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5461 17292 0 -1 1077944384 1638 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370144229872 140370598468226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5470] ppid=5461 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5461 17292 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 18440441 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370143176160 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5471] ppid=5461 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5461 17292 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18440442 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370142123520 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5472] ppid=5461 vsize=13980732 memory=12980 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370141072080 140370598475675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5473] ppid=5461 vsize=13980732 memory=1440 CPUtime=3.07 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) S 5461 5461 17292 0 -1 1077944384 12873 0 0 0 306 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370140018672 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5474] ppid=5461 vsize=13980732 memory=2008 CPUtime=2.71 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) S 5461 5461 17292 0 -1 1077944384 12093 0 0 0 270 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370138966128 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5475] ppid=5461 vsize=13980732 memory=5404 CPUtime=0.65 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5461 17292 0 -1 1077944384 6111 0 0 0 64 1 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370137913584 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5476] ppid=5461 vsize=13980732 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5461 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18440444 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370136861280 140370598467285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
[pid=5463/tid=5477] ppid=5461 vsize=13980732 memory=4616 CPUtime=0.05 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) S 5461 5461 17292 0 -1 1077944384 559 0 0 0 3 2 0 0 20 0 15 0 18440448 14316269568 383528 18446744073709551615 4194304 4196468 140722081494000 140370135808816 140370598468226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 38150144 140722081497522 140722081497698 140722081497698 140722081501135 0
Current children cumulated CPU time: 100.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1535488 KiB
Child status: 0
Real time (s): 93.4878
CPU time (s): 100.976
CPU user time (s): 100.093
CPU system time (s): 0.883379
CPU usage (%): 108.01
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1535488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.093
system time used= 0.883379
maximum resident set size= 1534380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5116
involuntary context switches= 80
# summary of solver processes directly reported to runsolver:
# pid: 5461
# total CPU time (s): 100.976
# total CPU user time (s): 100.093
# total CPU system time (s): 0.883379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.546223 second user time and 1.01713 second system time
The end