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 (15163 MiB free)
memory of node 1: 16384 MiB (14906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272060-1502806240/watcher-4272060-1502806240 -o /tmp/evaluation-result-4272060-1502806240/solver-4272060-1502806240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 79197024 HOME/instance-4272060-1502806240.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1395, runsolver pid=1392
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.56 1.39 1.42 3/204 1402
/proc/meminfo: memFree=30785700/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13358712 memory=14896 CPUtime=0 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 3477 0 0 0 0 0 0 0 20 0 6 0 34506635 13679321088 3724 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3339678 3724 1905 1 0 3329175 0
[pid=1397/tid=1398] ppid=1395 vsize=13441356 memory=8508281356422317474 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 2372 0 0 0 1 0 0 0 20 0 7 0 34506635 13763948544 3856 18446744073709551615 4194304 4196468 140729882915360 140637487610640 140637467448670 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13441356 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 34506636 13763948544 3856 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13441356 memory=140360939579008 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 34506636 13763948544 3856 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 34506636 13763948544 3856 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 34506636 13763948544 3856 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13441356 memory=140360939579008 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 34506638 13763948544 3856 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16272 KiB
[startup+0.21001 s]*
/proc/loadavg: 1.56 1.39 1.42 4/213 1411
/proc/meminfo: memFree=30775324/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13974352 memory=27460 CPUtime=0.1 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 5272 0 0 0 9 1 0 0 20 0 15 0 34506635 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3493588 6865 2753 1 0 3482964 0
[pid=1397/tid=1398] ppid=1395 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 3422 0 0 0 7 1 0 0 20 0 15 0 34506635 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637487597600 140637467448670 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13974352 memory=140360939761063 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13974352 memory=140360939579008 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506638 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34506638 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34506638 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) S 1395 1395 7968 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 34506641 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636957165808 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636956113264 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13974352 memory=140360939579008 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) S 1395 1395 7968 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 34506641 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13974352 memory=140360939579008 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506645 14309736448 6865 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28836 KiB
[startup+0.310366 s]*
/proc/loadavg: 1.56 1.39 1.42 7/213 1411
/proc/meminfo: memFree=30764036/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13974352 memory=37500 CPUtime=0.29 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 8946 0 0 0 26 3 0 0 20 0 15 0 34506635 14309736448 9375 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3493588 9375 2994 1 0 3482964 0
[pid=1397/tid=1398] ppid=1395 vsize=13974352 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 6134 0 0 0 15 2 0 0 20 0 15 0 34506635 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637487606240 140637467448670 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13974352 memory=140360939761063 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13974352 memory=3833885658467077096 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506638 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34506638 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34506638 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) R 1395 1395 7968 0 -1 4202560 645 0 0 0 3 0 0 0 20 0 15 0 34506641 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636957165808 140637475657632 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) S 1395 1395 7968 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 34506641 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636956113264 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13974352 memory=140360939579008 CPUtime=0.06 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) R 1395 1395 7968 0 -1 4202560 694 0 0 0 6 0 0 0 20 0 15 0 34506641 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637467560677 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13974352 memory=140360939579008 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506645 14309736448 9887 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38876 KiB
[startup+0.70146 s]
/proc/loadavg: 1.56 1.39 1.42 6/213 1411
/proc/meminfo: memFree=30752148/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13980732 memory=70564 CPUtime=1.28 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 14823 0 0 0 122 6 0 0 20 0 15 0 34506635 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3495183 17641 3173 1 0 3483476 0
[pid=1397/tid=1398] ppid=1395 vsize=13980732 memory=280721612710400 CPUtime=0.56 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 8501 0 0 0 52 4 0 0 20 0 15 0 34506635 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637487605984 140637113320242 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13980732 memory=2110711413414916 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13980732 memory=280721612627008 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13980732 memory=3472328296227699185 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13980732 memory=140360806322528 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) R 1395 1395 7968 0 -1 4202560 1853 0 0 0 22 0 0 0 20 0 15 0 34506641 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636957151688 140637463061279 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13980732 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) R 1395 1395 7968 0 -1 4202560 1409 0 0 0 20 0 0 0 20 0 15 0 34506641 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636956094280 140637475657632 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) R 1395 1395 7968 0 -1 1077944384 1752 0 0 0 27 1 0 0 20 0 15 0 34506641 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637483379330 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506645 14316269568 17641 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71940 KiB
[startup+1.50081 s]
/proc/loadavg: 1.56 1.39 1.42 5/213 1411
/proc/meminfo: memFree=30708532/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13980732 memory=129728 CPUtime=3.8 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 34055 0 0 0 370 10 0 0 20 0 15 0 34506635 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3495183 32432 3193 1 0 3483476 0
[pid=1397/tid=1398] ppid=1395 vsize=13980732 memory=4064 CPUtime=1.36 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 9448 0 0 0 131 5 0 0 20 0 15 0 34506635 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140637487605720 140637464192543 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13980732 memory=20692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13980732 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34506636 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 32432 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13980732 memory=280721612740064 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13980732 memory=236668 CPUtime=24.79 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 64060 0 0 0 2459 20 0 0 20 0 15 0 34506635 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3495183 59167 3236 1 0 3483476 0
[pid=1397/tid=1398] ppid=1395 vsize=13980732 memory=1376 CPUtime=17.39 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 11573 0 0 0 1733 6 0 0 20 0 15 0 34506635 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637487607408 140637114305583 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13980732 memory=243236 CPUtime=0.02 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 34506636 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13980732 memory=280721612873352 CPUtime=0.03 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 966 0 0 0 2 1 0 0 20 0 15 0 34506636 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 34506636 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13980732 memory=2012 CPUtime=0.03 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 217 0 0 0 2 1 0 0 20 0 15 0 34506636 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13980732 memory=1376 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 34506638 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13980732 memory=240260 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13980732 memory=4639388640926722413 CPUtime=3.47 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) S 1395 1395 7968 0 -1 1077944384 29440 0 0 0 343 4 0 0 20 0 15 0 34506641 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636957165808 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13980732 memory=1376 CPUtime=3.18 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) S 1395 1395 7968 0 -1 1077944384 14647 0 0 0 316 2 0 0 20 0 15 0 34506641 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636956113264 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13980732 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) S 1395 1395 7968 0 -1 1077944384 4348 0 0 0 51 1 0 0 20 0 15 0 34506641 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 15 0 34506645 14316269568 59167 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 238044 KiB
[startup+19.2008 s]
/proc/loadavg: 1.62 1.42 1.42 3/213 1411
/proc/meminfo: memFree=30538624/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13980732 memory=236164 CPUtime=26.39 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 64541 0 0 0 2619 20 0 0 20 0 15 0 34506635 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3495183 59041 3236 1 0 3483476 0
[pid=1397/tid=1398] ppid=1395 vsize=13980732 memory=236152 CPUtime=18.98 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 11752 0 0 0 1892 6 0 0 20 0 15 0 34506635 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637487607632 140637114860417 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 564 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13980732 memory=243236 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 974 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13980732 memory=7680170660397595203 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 224 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13980732 memory=6371022714880224611 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 590 0 0 0 1 0 0 0 20 0 15 0 34506638 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13980732 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13980732 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13980732 memory=16444 CPUtime=3.47 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) S 1395 1395 7968 0 -1 1077944384 29440 0 0 0 343 4 0 0 20 0 15 0 34506641 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636957165808 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13980732 memory=1376 CPUtime=3.18 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) S 1395 1395 7968 0 -1 1077944384 14647 0 0 0 316 2 0 0 20 0 15 0 34506641 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636956113264 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13980732 memory=240260 CPUtime=0.53 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) S 1395 1395 7968 0 -1 1077944384 4474 0 0 0 52 1 0 0 20 0 15 0 34506641 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13980732 memory=13000 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 34506645 14316269568 59041 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 26.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 237540 KiB
[startup+20.0008 s]*
/proc/loadavg: 1.62 1.42 1.42 3/213 1411
/proc/meminfo: memFree=30544164/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13980732 memory=232060 CPUtime=27.23 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 64686 0 0 0 2703 20 0 0 20 0 15 0 34506635 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3495183 58015 3236 1 0 3483476 0
[pid=1397/tid=1398] ppid=1395 vsize=13980732 memory=4278483708103473607 CPUtime=19.79 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 11754 0 0 0 1973 6 0 0 20 0 15 0 34506635 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637487607632 140637115850852 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13980732 memory=5118961337442657657 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 570 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13980732 memory=3688905472126683126 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 977 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13980732 memory=7014749221842084692 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 135 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13980732 memory=2319389199166349359 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 226 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13980732 memory=3474442310604151479 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 15 0 34506638 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13980732 memory=3756060574705857844 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13980732 memory=7020376625635092077 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13980732 memory=7451034439379674473 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13980732 memory=0 CPUtime=3.49 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) S 1395 1395 7968 0 -1 1077944384 29568 0 0 0 345 4 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636957165808 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13980732 memory=12060268169974 CPUtime=3.18 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) S 1395 1395 7968 0 -1 1077944384 14647 0 0 0 316 2 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636956113264 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13980732 memory=6944656592455360604 CPUtime=0.53 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) S 1395 1395 7968 0 -1 1077944384 4474 0 0 0 52 1 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 34506645 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233436 KiB
[startup+20.2008 s]
/proc/loadavg: 1.62 1.42 1.42 3/213 1411
/proc/meminfo: memFree=30544164/32770624 swapFree=67108860/67108860
[pid=1395] ppid=1392 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (xcsp3-exec) S 1392 1395 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34506627 9740288 344 18446744073709551615 4194304 5098028 140721980435360 140721980433464 139645776495228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 25845760 140721980440955 140721980441158 140721980441158 140721980444651 0
/proc/1395/statm: 2378 344 289 221 0 87 0
[pid=1397] ppid=1395 vsize=13980732 memory=232060 CPUtime=27.42 cores=0,2,4,6
/proc/1397/stat : 1397 (java) S 1395 1395 7968 0 -1 1077944320 64686 0 0 0 2722 20 0 0 20 0 15 0 34506635 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140729882897904 140637483368183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
/proc/1397/statm: 3495183 58015 3236 1 0 3483476 0
[pid=1397/tid=1398] ppid=1395 vsize=13980732 memory=14981065794127502 CPUtime=19.98 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (java) R 1395 1395 7968 0 -1 4202560 11754 0 0 0 1992 6 0 0 20 0 15 0 34506635 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637487607632 140637114860499 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1399] ppid=1395 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (java) S 1395 1395 7968 0 -1 1077944384 570 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637440334352 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1400] ppid=1395 vsize=13980732 memory=236668 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1400/stat : 1400 (java) S 1395 1395 7968 0 -1 1077944384 977 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637439281808 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1401] ppid=1395 vsize=13980732 memory=640 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (java) S 1395 1395 7968 0 -1 1077944384 135 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637438228752 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1402] ppid=1395 vsize=13980732 memory=1792 CPUtime=0.04 cores=0,2,4,6
/proc/1397/task/1402/stat : 1402 (java) S 1395 1395 7968 0 -1 1077944384 226 0 0 0 3 1 0 0 20 0 15 0 34506636 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637437176208 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1403] ppid=1395 vsize=13980732 memory=960 CPUtime=0.01 cores=0,2,4,6
/proc/1397/task/1403/stat : 1403 (java) S 1395 1395 7968 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 15 0 34506638 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637029030640 140637483379330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1404] ppid=1395 vsize=13980732 memory=7448488012996307025 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1404/stat : 1404 (java) S 1395 1395 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140637027976864 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1405] ppid=1395 vsize=13980732 memory=7086240636145783139 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1405/stat : 1405 (java) S 1395 1395 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 34506638 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636959270128 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1406] ppid=1395 vsize=13980732 memory=8242475861831398194 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1406/stat : 1406 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636958218704 140637483386779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1407] ppid=1395 vsize=13980732 memory=928 CPUtime=3.49 cores=0,2,4,6
/proc/1397/task/1407/stat : 1407 (java) S 1395 1395 7968 0 -1 1077944384 29568 0 0 0 345 4 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636957165808 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1408] ppid=1395 vsize=13980732 memory=0 CPUtime=3.18 cores=0,2,4,6
/proc/1397/task/1408/stat : 1408 (java) S 1395 1395 7968 0 -1 1077944384 14647 0 0 0 316 2 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636956113264 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1409] ppid=1395 vsize=13980732 memory=29252 CPUtime=0.53 cores=0,2,4,6
/proc/1397/task/1409/stat : 1409 (java) S 1395 1395 7968 0 -1 1077944384 4474 0 0 0 52 1 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636955060208 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1410] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1410/stat : 1410 (java) S 1395 1395 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34506641 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636954007904 140637483378389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
[pid=1397/tid=1411] ppid=1395 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1411/stat : 1411 (java) S 1395 1395 7968 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 34506645 14316269568 58015 18446744073709551615 4194304 4196468 140729882915360 140636952955952 140637483379330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7729152 140729882919346 140729882919522 140729882919522 140729882922959 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233436 KiB
Child status: 0
Real time (s): 20.2407
CPU time (s): 27.4745
CPU user time (s): 27.2589
CPU system time (s): 0.21561
CPU usage (%): 135.739
Max. virtual memory (cumulated for all children) (KiB): 13993324
Max. memory (cumulated for all children) (KiB): 244652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2589
system time used= 0.21561
maximum resident set size= 246292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3013
involuntary context switches= 78
# summary of solver processes directly reported to runsolver:
# pid: 1395
# total CPU time (s): 27.4745
# total CPU user time (s): 27.2589
# total CPU system time (s): 0.21561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178439 second user time and 0.210518 second system time
The end