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 (14685 MiB free)
memory of node 1: 16384 MiB (15343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272013-1502776318/watcher-4272013-1502776318 -o /tmp/evaluation-result-4272013-1502776318/solver-4272013-1502776318 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1031673317 HOME/instance-4272013-1502776318.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=1459, runsolver pid=1456
[startup+0.100157 s]*
/proc/loadavg: 1.60 1.54 1.51 2/196 1460
/proc/meminfo: memFree=30749612/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (runsolver) D 1456 1459 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 79852458 34791424 114 18446744073709551615 4194304 4346622 140721144439856 140721144436488 140192676930263 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 18599936 140721144442934 140721144443428 140721144443428 140721144446922 0
/proc/1459/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209093 s]*
/proc/loadavg: 1.60 1.54 1.51 2/210 1474
/proc/meminfo: memFree=30738208/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13907304 memory=21664 CPUtime=0.05 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 4864 0 0 0 4 1 0 0 20 0 14 0 79852469 14241079296 5416 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3476826 5416 2548 1 0 3466323 0
[pid=1461/tid=1462] ppid=1459 vsize=13973868 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 3040 0 0 0 4 0 0 0 20 0 15 0 79852469 14309240832 5416 18446744073709551615 4194304 4196468 140726085568640 140487117093472 140487096931678 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13973868 memory=339 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14309240832 5416 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13973868 memory=140192679900023 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14309240832 5416 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14309240832 5416 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79852470 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79852471 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79852472 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13973868 memory=140192679880320 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79852472 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) S 1459 1459 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 79852474 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486024067312 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 79852474 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852479 14309240832 5481 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23044 KiB
[startup+0.309995 s]*
/proc/loadavg: 1.60 1.54 1.51 3/211 1475
/proc/meminfo: memFree=30727536/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13974352 memory=34000 CPUtime=0.23 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 8605 0 0 0 20 3 0 0 20 0 15 0 79852469 14309736448 8500 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3493588 8500 2940 1 0 3482964 0
[pid=1461/tid=1462] ppid=1459 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 5925 0 0 0 12 2 0 0 20 0 15 0 79852469 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140487117073568 140487112873117 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79852470 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79852471 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79852472 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79852472 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) S 1459 1459 897 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 79852474 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486024067312 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 15 0 79852474 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) R 1459 1459 897 0 -1 4202560 682 0 0 0 5 0 0 0 20 0 15 0 79852474 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487094413489 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852479 14309736448 9012 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 35380 KiB
[startup+0.701491 s]
/proc/loadavg: 1.60 1.54 1.51 3/211 1475
/proc/meminfo: memFree=30713160/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13980732 memory=62692 CPUtime=1.11 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 12942 0 0 0 106 5 0 0 20 0 15 0 79852469 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3495183 15673 3171 1 0 3483476 0
[pid=1461/tid=1462] ppid=1459 vsize=13980732 memory=11000 CPUtime=0.52 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 8697 0 0 0 49 3 0 0 20 0 15 0 79852469 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140487117085408 140487096931678 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13980732 memory=24532 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13980732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79852471 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13980732 memory=4072 CPUtime=0.17 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) R 1459 1459 897 0 -1 4202560 961 0 0 0 17 0 0 0 20 0 15 0 79852474 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486024057904 140487096838824 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13980732 memory=1152 CPUtime=0.15 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 792 0 0 0 15 0 0 0 20 0 15 0 79852474 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13980732 memory=5794282621678998889 CPUtime=0.23 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 1183 0 0 0 23 0 0 0 20 0 15 0 79852474 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13980732 memory=280385129279808 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13980732 memory=144306606179262 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852479 14316269568 15673 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64072 KiB
[startup+1.50087 s]
/proc/loadavg: 1.60 1.54 1.51 5/211 1475
/proc/meminfo: memFree=30678288/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13980732 memory=107720 CPUtime=3.7 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 25820 0 0 0 363 7 0 0 20 0 15 0 79852469 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3495183 26930 3197 1 0 3483476 0
[pid=1461/tid=1462] ppid=1459 vsize=13980732 memory=1380 CPUtime=1.32 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 9417 0 0 0 128 4 0 0 20 0 15 0 79852469 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140487117080672 140486724295633 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13980732 memory=102924 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79852470 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79852471 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13980732 memory=4072 CPUtime=0.96 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) R 1459 1459 897 0 -1 4202560 5954 0 0 0 96 0 0 0 20 0 15 0 79852474 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486024053416 140487094372842 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13980732 memory=1152 CPUtime=0.93 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) R 1459 1459 897 0 -1 4202560 5929 0 0 0 92 1 0 0 20 0 15 0 79852474 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486023011136 140487094372395 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13980732 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 3209 0 0 0 45 0 0 0 20 0 15 0 79852474 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13980732 memory=280385129580304 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13980732 memory=288230621787205940 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852479 14316269568 26930 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
################
# More data... #
################
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13980732 memory=310104 CPUtime=381.03 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 76387 0 0 0 38058 45 0 0 20 0 15 0 79852469 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3495183 77526 3238 1 0 3483476 0
[pid=1461/tid=1462] ppid=1459 vsize=13980732 memory=308056 CPUtime=369.92 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 17376 0 0 0 36986 6 0 0 20 0 15 0 79852469 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140487117090544 140486724794632 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13980732 memory=308056 CPUtime=0.88 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 2934 0 0 0 82 6 0 0 20 0 15 0 79852470 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13980732 memory=1012 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1383 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13980732 memory=10164 CPUtime=0.88 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 2405 0 0 0 81 7 0 0 20 0 15 0 79852470 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13980732 memory=1440 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 1407 0 0 0 82 7 0 0 20 0 15 0 79852470 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13980732 memory=4616 CPUtime=0.15 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 2086 0 0 0 13 2 0 0 20 0 15 0 79852471 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13980732 memory=301884 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13980732 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13980732 memory=11000 CPUtime=3.19 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) S 1459 1459 897 0 -1 1077944384 16680 0 0 0 318 1 0 0 20 0 15 0 79852474 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486024067312 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13980732 memory=1200 CPUtime=3.35 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 20198 0 0 0 333 2 0 0 20 0 15 0 79852474 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13980732 memory=1380 CPUtime=0.69 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 9635 0 0 0 68 1 0 0 20 0 15 0 79852474 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13980732 memory=303960 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13980732 memory=11000 CPUtime=0.09 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 923 0 0 0 4 5 0 0 20 0 15 0 79852479 14316269568 77526 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 381.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 311484 KiB
[startup+372.001 s]*
/proc/loadavg: 1.52 1.53 1.51 3/211 1502
/proc/meminfo: memFree=30466340/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13980732 memory=312152 CPUtime=381.86 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 76394 0 0 0 38140 46 0 0 20 0 15 0 79852469 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3495183 78038 3238 1 0 3483476 0
[pid=1461/tid=1462] ppid=1459 vsize=13980732 memory=-8774313645642428999 CPUtime=370.73 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 17377 0 0 0 37067 6 0 0 20 0 15 0 79852469 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487117090640 140486724931534 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13980732 memory=4872558044660077418 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 2935 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13980732 memory=6944656591801717918 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1385 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13980732 memory=6944656425122832000 CPUtime=0.88 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 2405 0 0 0 81 7 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13980732 memory=6944656591801717918 CPUtime=0.9 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 1410 0 0 0 83 7 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13980732 memory=6944656575208382560 CPUtime=0.15 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 2086 0 0 0 13 2 0 0 20 0 15 0 79852471 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13980732 memory=7814415408121340265 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13980732 memory=249668 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13980732 memory=1240 CPUtime=3.19 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) S 1459 1459 897 0 -1 1077944384 16680 0 0 0 318 1 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486024067312 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13980732 memory=1152 CPUtime=3.35 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 20198 0 0 0 333 2 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13980732 memory=3224 CPUtime=0.69 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 9635 0 0 0 68 1 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13980732 memory=310104 CPUtime=0.09 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 923 0 0 0 4 5 0 0 20 0 15 0 79852479 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 381.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 313532 KiB
[startup+372.201 s]
/proc/loadavg: 1.52 1.53 1.51 3/211 1502
/proc/meminfo: memFree=30466340/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13980732 memory=312152 CPUtime=382.05 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 76394 0 0 0 38159 46 0 0 20 0 15 0 79852469 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3495183 78038 3238 1 0 3483476 0
[pid=1461/tid=1462] ppid=1459 vsize=13980732 memory=1624 CPUtime=370.92 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 17377 0 0 0 37086 6 0 0 20 0 15 0 79852469 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487117090640 140486726196691 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13980732 memory=928 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 2935 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13980732 memory=2164 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1385 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13980732 memory=840 CPUtime=0.88 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 2405 0 0 0 81 7 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13980732 memory=16436 CPUtime=0.9 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 1410 0 0 0 83 7 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13980732 memory=2772 CPUtime=0.15 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 2086 0 0 0 13 2 0 0 20 0 15 0 79852471 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13980732 memory=4616 CPUtime=3.19 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) S 1459 1459 897 0 -1 1077944384 16680 0 0 0 318 1 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486024067312 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13980732 memory=1012 CPUtime=3.35 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 20198 0 0 0 333 2 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13980732 memory=10164 CPUtime=0.69 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 9635 0 0 0 68 1 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13980732 memory=2000 CPUtime=0.09 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 923 0 0 0 4 5 0 0 20 0 15 0 79852479 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 382.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 313532 KiB
[startup+372.301 s]
/proc/loadavg: 1.52 1.53 1.51 3/211 1502
/proc/meminfo: memFree=30466340/32770624 swapFree=67108860/67108860
[pid=1459] ppid=1456 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1459/stat : 1459 (xcsp3-exec) S 1456 1459 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 79852458 9740288 345 18446744073709551615 4194304 5098028 140725869422416 140725869420520 140026635108988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 24461312 140725869425016 140725869425221 140725869425221 140725869428715 0
/proc/1459/statm: 2378 345 289 221 0 87 0
[pid=1461] ppid=1459 vsize=13980732 memory=312152 CPUtime=382.15 cores=1,3,5,7
/proc/1461/stat : 1461 (java) S 1459 1459 897 0 -1 1077944320 76394 0 0 0 38169 46 0 0 20 0 15 0 79852469 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140726085551184 140487112851191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
/proc/1461/statm: 3495183 78038 3238 1 0 3483476 0
[pid=1461/tid=1462] ppid=1459 vsize=13980732 memory=308056 CPUtime=371.02 cores=1,3,5,7
/proc/1461/task/1462/stat : 1462 (java) R 1459 1459 897 0 -1 4202560 17377 0 0 0 37096 6 0 0 20 0 15 0 79852469 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487117090640 140486723677014 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1463] ppid=1459 vsize=13980732 memory=312152 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1463/stat : 1463 (java) S 1459 1459 897 0 -1 1077944384 2935 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487047285264 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1464] ppid=1459 vsize=13980732 memory=1380 CPUtime=0.89 cores=1,3,5,7
/proc/1461/task/1464/stat : 1464 (java) S 1459 1459 897 0 -1 1077944384 1385 0 0 0 83 6 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487046232720 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1465] ppid=1459 vsize=13980732 memory=308056 CPUtime=0.88 cores=1,3,5,7
/proc/1461/task/1465/stat : 1465 (java) S 1459 1459 897 0 -1 1077944384 2405 0 0 0 81 7 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487045179664 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1466] ppid=1459 vsize=13980732 memory=1380 CPUtime=0.9 cores=1,3,5,7
/proc/1461/task/1466/stat : 1466 (java) S 1459 1459 897 0 -1 1077944384 1410 0 0 0 83 7 0 0 20 0 15 0 79852470 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140487044127120 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1467] ppid=1459 vsize=13980732 memory=1380 CPUtime=0.15 cores=1,3,5,7
/proc/1461/task/1467/stat : 1467 (java) S 1459 1459 897 0 -1 1077944384 2086 0 0 0 13 2 0 0 20 0 15 0 79852471 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486028278512 140487112862338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1468] ppid=1459 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1468/stat : 1468 (java) S 1459 1459 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486027224736 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1469] ppid=1459 vsize=13980732 memory=297788 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1469/stat : 1469 (java) S 1459 1459 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 79852472 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486026171632 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1470] ppid=1459 vsize=13980732 memory=308056 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1470/stat : 1470 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486025120208 140487112869787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1471] ppid=1459 vsize=13980732 memory=1380 CPUtime=3.19 cores=1,3,5,7
/proc/1461/task/1471/stat : 1471 (java) S 1459 1459 897 0 -1 1077944384 16680 0 0 0 318 1 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486024067312 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1472] ppid=1459 vsize=13980732 memory=1380 CPUtime=3.35 cores=1,3,5,7
/proc/1461/task/1472/stat : 1472 (java) S 1459 1459 897 0 -1 1077944384 20198 0 0 0 333 2 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486023014768 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1473] ppid=1459 vsize=13980732 memory=306008 CPUtime=0.69 cores=1,3,5,7
/proc/1461/task/1473/stat : 1473 (java) S 1459 1459 897 0 -1 1077944384 9635 0 0 0 68 1 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486021961712 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1474] ppid=1459 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1461/task/1474/stat : 1474 (java) S 1459 1459 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79852474 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486020909408 140487112861397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
[pid=1461/tid=1475] ppid=1459 vsize=13980732 memory=310104 CPUtime=0.09 cores=1,3,5,7
/proc/1461/task/1475/stat : 1475 (java) S 1459 1459 897 0 -1 1077944384 923 0 0 0 4 5 0 0 20 0 15 0 79852479 14316269568 78038 18446744073709551615 4194304 4196468 140726085568640 140486019857456 140487112862338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140726085575089 140726085575265 140726085575265 140726085578703 0
Current children cumulated CPU time: 382.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 313532 KiB
Child status: 0
Real time (s): 372.367
CPU time (s): 382.219
CPU user time (s): 381.752
CPU system time (s): 0.466348
CPU usage (%): 102.646
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 313532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 381.752
system time used= 0.466348
maximum resident set size= 312556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14216
involuntary context switches= 569
# summary of solver processes directly reported to runsolver:
# pid: 1459
# total CPU time (s): 382.219
# total CPU user time (s): 381.752
# total CPU system time (s): 0.466348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.89496 second user time and 2.87275 second system time
The end