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 (15060 MiB free)
memory of node 1: 16384 MiB (15575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269140-1502791575/watcher-4269140-1502791575 -o /tmp/evaluation-result-4269140-1502791575/solver-4269140-1502791575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1854245820 HOME/instance-4269140-1502791575.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=6585, runsolver pid=6582
[startup+0.100137 s]*
/proc/loadavg: 2.25 2.11 2.06 3/198 6587
/proc/meminfo: memFree=31371092/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=11657624 memory=8760 CPUtime=0 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 1917 0 0 0 0 0 0 0 20 0 2 0 67498117 11937406976 2124 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 2914406 2190 1151 1 0 2904376 0
[pid=6587/tid=6588] ppid=6585 vsize=13356504 memory=1404226546251833994 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 1073 0 0 0 0 0 0 0 20 0 6 0 67498118 13677060096 2533 18446744073709551615 4194304 4196468 140727761164816 140106758661448 140106740501759 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13356504 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67498118 13677060096 2533 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13356504 memory=140272175801984 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67498118 13677060096 2599 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 67498118 13677060096 2599 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 67498118 13677060096 2599 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10140 KiB
[startup+0.209847 s]*
/proc/loadavg: 2.25 2.11 2.06 4/212 6601
/proc/meminfo: memFree=31358824/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13974352 memory=23484 CPUtime=0.07 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 4807 0 0 0 6 1 0 0 20 0 15 0 67498117 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3493588 5871 2713 1 0 3482964 0
[pid=6587/tid=6588] ppid=6585 vsize=13974352 memory=7022364594140610616 CPUtime=0.05 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 2975 0 0 0 5 0 0 0 20 0 15 0 67498118 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106758646160 140106346363344 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13974352 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13974352 memory=140272176393622 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13974352 memory=140272175801984 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498120 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) S 6585 6585 11586 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106228267504 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13974352 memory=140272175801984 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) S 6585 6585 11586 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13974352 memory=140272175801984 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498128 14309736448 5871 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24864 KiB
[startup+0.310202 s]*
/proc/loadavg: 2.25 2.11 2.06 4/212 6601
/proc/meminfo: memFree=31340780/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13974352 memory=36984 CPUtime=0.24 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 8341 0 0 0 22 2 0 0 20 0 15 0 67498117 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3493588 9246 2961 1 0 3482964 0
[pid=6587/tid=6588] ppid=6585 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 5660 0 0 0 14 2 0 0 20 0 15 0 67498118 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106758652000 140106735984070 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498120 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) S 6585 6585 11586 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 67498123 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106228267504 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) S 6585 6585 11586 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 67498123 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13974352 memory=140272175801984 CPUtime=0.05 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) S 6585 6585 11586 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 15 0 67498123 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13974352 memory=140272175801984 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498128 14309736448 9246 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38364 KiB
[startup+0.704453 s]
/proc/loadavg: 2.25 2.11 2.06 5/212 6601
/proc/meminfo: memFree=31334900/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13980732 memory=64672 CPUtime=1.13 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 12873 0 0 0 108 5 0 0 20 0 15 0 67498117 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3495183 16168 3171 1 0 3483476 0
[pid=6587/tid=6588] ppid=6585 vsize=13980732 memory=311 CPUtime=0.53 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 8256 0 0 0 50 3 0 0 20 0 15 0 67498118 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106758659600 140106754432406 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13980732 memory=435 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13980732 memory=965 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13980732 memory=140272021414672 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13980732 memory=8514726395714825875 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13980732 memory=-8412658754298548083 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13980732 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13980732 memory=6944656592452807323 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13980732 memory=2721 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13980732 memory=140272021409216 CPUtime=0.14 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) R 6585 6585 11586 0 -1 4202560 1151 0 0 0 14 0 0 0 20 0 15 0 67498123 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106228258960 140106732656857 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13980732 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) R 6585 6585 11586 0 -1 1077944384 759 0 0 0 12 0 0 0 20 0 15 0 67498123 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13980732 memory=3016 CPUtime=0.3 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) R 6585 6585 11586 0 -1 4202560 1399 0 0 0 30 0 0 0 20 0 15 0 67498123 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754432406 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498128 14316269568 16168 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66052 KiB
[startup+1.50135 s]
/proc/loadavg: 2.25 2.11 2.06 5/212 6601
/proc/meminfo: memFree=31312216/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13980732 memory=89152 CPUtime=3.48 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 25351 0 0 0 341 7 0 0 20 0 15 0 67498117 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3495183 22288 3186 1 0 3483476 0
[pid=6587/tid=6588] ppid=6585 vsize=13980732 memory=63838834 CPUtime=1.34 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 8951 0 0 0 130 4 0 0 20 0 15 0 67498118 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106758658824 140106351207623 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13980732 memory=64672 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13980732 memory=311 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13980732 memory=435 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 22288 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=6587/tid=6589] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13980732 memory=101 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13980732 memory=869 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13980732 memory=184 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13980732 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) S 6585 6585 11586 0 -1 1077944384 9284 0 0 0 137 1 0 0 20 0 15 0 67498123 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106228267504 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13980732 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) S 6585 6585 11586 0 -1 1077944384 5250 0 0 0 109 1 0 0 20 0 15 0 67498123 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13980732 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) S 6585 6585 11586 0 -1 1077944384 2180 0 0 0 45 0 0 0 20 0 15 0 67498123 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 67498128 14316269568 24545 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 99560 KiB
[startup+4.80065 s]
/proc/loadavg: 2.23 2.10 2.06 3/212 6601
/proc/meminfo: memFree=31282856/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13980732 memory=106464 CPUtime=7.69 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 28996 0 0 0 762 7 0 0 20 0 15 0 67498117 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3495183 26616 3194 1 0 3483476 0
[pid=6587/tid=6588] ppid=6585 vsize=13980732 memory=0 CPUtime=4.63 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 9566 0 0 0 459 4 0 0 20 0 15 0 67498118 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106758656944 140106350304380 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13980732 memory=280544043128832 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13980732 memory=91248 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13980732 memory=280544042920752 CPUtime=1.43 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) S 6585 6585 11586 0 -1 1077944384 9783 0 0 0 142 1 0 0 20 0 15 0 67498123 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106228267504 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13980732 memory=140272021361332 CPUtime=1.14 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) S 6585 6585 11586 0 -1 1077944384 5868 0 0 0 113 1 0 0 20 0 15 0 67498123 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13980732 memory=1008 CPUtime=0.46 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) S 6585 6585 11586 0 -1 1077944384 2184 0 0 0 46 0 0 0 20 0 15 0 67498123 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13980732 memory=8964 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 67498128 14316269568 26616 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 107844 KiB
[startup+5.60066 s]
/proc/loadavg: 2.23 2.10 2.06 3/212 6601
/proc/meminfo: memFree=31276592/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13980732 memory=108516 CPUtime=8.49 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 29583 0 0 0 842 7 0 0 20 0 15 0 67498117 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3495183 27129 3194 1 0 3483476 0
[pid=6587/tid=6588] ppid=6585 vsize=13980732 memory=1380 CPUtime=5.43 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 9638 0 0 0 539 4 0 0 20 0 15 0 67498118 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106758656832 140106350563199 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13980732 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13980732 memory=1232 CPUtime=1.43 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) S 6585 6585 11586 0 -1 1077944384 9783 0 0 0 142 1 0 0 20 0 15 0 67498123 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106228267504 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13980732 memory=8964 CPUtime=1.14 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) S 6585 6585 11586 0 -1 1077944384 5868 0 0 0 113 1 0 0 20 0 15 0 67498123 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13980732 memory=4616 CPUtime=0.46 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) S 6585 6585 11586 0 -1 1077944384 2184 0 0 0 46 0 0 0 20 0 15 0 67498123 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 528 0 0 0 0 0 0 0 20 0 15 0 67498128 14316269568 27129 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 109896 KiB
[startup+6.00065 s]*
/proc/loadavg: 2.23 2.10 2.06 3/212 6601
/proc/meminfo: memFree=31270448/32770624 swapFree=67108860/67108860
[pid=6585] ppid=6582 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 67498107 9740288 345 18446744073709551615 4194304 5098028 140722095163536 140722095161640 140686386446972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 19726336 140722095169912 140722095170117 140722095170117 140722095173611 0
/proc/6585/statm: 2378 345 289 221 0 87 0
[pid=6587] ppid=6585 vsize=13980732 memory=112612 CPUtime=8.9 cores=1,3,5,7
/proc/6587/stat : 6587 (java) S 6585 6585 11586 0 -1 1077944320 29600 0 0 0 882 8 0 0 20 0 15 0 67498117 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140727761147360 140106754420471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
/proc/6587/statm: 3495183 28153 3194 1 0 3483476 0
[pid=6587/tid=6588] ppid=6585 vsize=13980732 memory=4026531863 CPUtime=5.84 cores=1,3,5,7
/proc/6587/task/6588/stat : 6588 (java) R 6585 6585 11586 0 -1 4202560 9655 0 0 0 580 4 0 0 20 0 15 0 67498118 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106758656832 140106349647212 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6589] ppid=6585 vsize=13980732 memory=303148761243451415 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6589/stat : 6589 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106673834768 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6590] ppid=6585 vsize=13980732 memory=15678790432319128 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6590/stat : 6590 (java) S 6585 6585 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106672782224 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6591] ppid=6585 vsize=13980732 memory=7681905605394137875 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6591/stat : 6591 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106671729680 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6592] ppid=6585 vsize=13980732 memory=3472328296361963567 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6592/stat : 6592 (java) S 6585 6585 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498118 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106670677136 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6593] ppid=6585 vsize=13980732 memory=3461502255200949985 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6593/stat : 6593 (java) S 6585 6585 11586 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106232477680 140106754431618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6594] ppid=6585 vsize=13980732 memory=7809628178198383881 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6594/stat : 6594 (java) S 6585 6585 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106231423904 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6595] ppid=6585 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6595/stat : 6595 (java) S 6585 6585 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498120 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106230371312 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6596] ppid=6585 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6596/stat : 6596 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106229319888 140106754439067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6597] ppid=6585 vsize=13980732 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/6587/task/6597/stat : 6597 (java) S 6585 6585 11586 0 -1 1077944384 9783 0 0 0 142 1 0 0 20 0 15 0 67498123 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106228267504 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6598] ppid=6585 vsize=13980732 memory=-1 CPUtime=1.14 cores=1,3,5,7
/proc/6587/task/6598/stat : 6598 (java) S 6585 6585 11586 0 -1 1077944384 5868 0 0 0 113 1 0 0 20 0 15 0 67498123 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106227214960 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6599] ppid=6585 vsize=13980732 memory=140272175801984 CPUtime=0.46 cores=1,3,5,7
/proc/6587/task/6599/stat : 6599 (java) S 6585 6585 11586 0 -1 1077944384 2184 0 0 0 46 0 0 0 20 0 15 0 67498123 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106226162416 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6600] ppid=6585 vsize=13980732 memory=3472328304817614895 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6600/stat : 6600 (java) S 6585 6585 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498123 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106225110112 140106754430677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
[pid=6587/tid=6601] ppid=6585 vsize=13980732 memory=140272175801984 CPUtime=0 cores=1,3,5,7
/proc/6587/task/6601/stat : 6601 (java) S 6585 6585 11586 0 -1 1077944384 528 0 0 0 0 0 0 0 20 0 15 0 67498128 14316269568 28153 18446744073709551615 4194304 4196468 140727761164816 140106224056624 140106754431618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39735296 140727761166769 140727761166945 140727761166945 140727761170383 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 113992 KiB
[startup+6.20463 s]*
/proc/loadavg: 2.23 2.10 2.06 4/197 6601
/proc/meminfo: memFree=31370412/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 6.21413
CPU time (s): 9.10941
CPU user time (s): 9.0228
CPU system time (s): 0.08661
CPU usage (%): 146.592
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 113992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.0228
system time used= 0.08661
maximum resident set size= 114992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30798
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= 2440
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 6585
# total CPU time (s): 9.10941
# total CPU user time (s): 9.0228
# total CPU system time (s): 0.08661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056986 second user time and 0.103715 second system time
The end