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 (13177 MiB free)
memory of node 1: 16384 MiB (15493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269529-1502850234/watcher-4269529-1502850234 -o /tmp/evaluation-result-4269529-1502850234/solver-4269529-1502850234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1604470138 HOME/instance-4269529-1502850234.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=28489, runsolver pid=28486
[startup+0.100184 s]*
/proc/loadavg: 2.02 2.11 2.28 3/203 28492
/proc/meminfo: memFree=29356168/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13358712 memory=16148 CPUtime=0 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 3299 0 0 0 0 0 0 0 20 0 6 0 132529992 13679321088 4037 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3339678 4037 1901 1 0 3329175 0
[pid=28491/tid=28492] ppid=28489 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 2058 0 0 0 0 0 0 0 20 0 6 0 132529992 13679321088 4037 18446744073709551615 4194304 4196468 140722749964512 139828593996368 139828589782173 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 132529993 13679321088 4037 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13358712 memory=139902090217088 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 132529993 13679321088 4037 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 132529993 13679321088 4037 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 132529993 13679321088 4037 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17528 KiB
[startup+0.210314 s]*
/proc/loadavg: 2.02 2.11 2.28 3/216 28505
/proc/meminfo: memFree=29346516/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13974352 memory=27956 CPUtime=0.08 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 4881 0 0 0 7 1 0 0 20 0 15 0 132529992 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3493588 6989 2727 1 0 3482964 0
[pid=28491/tid=28492] ppid=28489 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 3041 0 0 0 6 0 0 0 20 0 15 0 132529992 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828593993488 139828582857083 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13974352 memory=139902090243331 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13974352 memory=139902090217088 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529994 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) R 28489 28489 4674 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 132529997 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828063078896 139828589771394 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529997 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828062026352 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13974352 memory=139902090217088 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 4674 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 132529997 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13974352 memory=139902090217088 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132530003 14309736448 6989 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29336 KiB
[startup+0.310988 s]*
/proc/loadavg: 2.02 2.11 2.28 5/218 28507
/proc/meminfo: memFree=29331064/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13974352 memory=37324 CPUtime=0.26 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 8444 0 0 0 23 3 0 0 20 0 15 0 132529992 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3493588 9331 2977 1 0 3482964 0
[pid=28491/tid=28492] ppid=28489 vsize=13974352 memory=6789802306324843961 CPUtime=0.16 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 5691 0 0 0 14 2 0 0 20 0 15 0 132529992 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828593988784 139828573840734 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529994 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) R 28489 28489 4674 0 -1 1077944384 654 0 0 0 1 0 0 0 20 0 15 0 132529997 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828063078896 139828589771394 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 4674 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 132529997 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828062026352 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13974352 memory=139902090217088 CPUtime=0.05 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 4674 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 132529997 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13974352 memory=139902090217088 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132530003 14309736448 9331 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38704 KiB
[startup+0.701452 s]
/proc/loadavg: 2.02 2.11 2.28 6/220 28519
/proc/meminfo: memFree=29314668/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13980732 memory=62388 CPUtime=1.19 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 12233 0 0 0 114 5 0 0 20 0 15 0 132529992 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3495183 15597 3183 1 0 3483476 0
[pid=28491/tid=28492] ppid=28489 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 7989 0 0 0 51 3 0 0 20 0 15 0 132529992 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828593998960 139828180057449 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13980732 memory=139901983126352 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13980732 memory=3472468181030937568 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13980732 memory=139901983126544 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13980732 memory=839 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 132529994 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13980732 memory=42 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13980732 memory=478 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13980732 memory=588 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13980732 memory=110 CPUtime=0.17 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) R 28489 28489 4674 0 -1 4202560 1048 0 0 0 17 0 0 0 20 0 15 0 132529997 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828063069008 139828571170397 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13980732 memory=7 CPUtime=0.17 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) R 28489 28489 4674 0 -1 4202560 572 0 0 0 17 0 0 0 20 0 15 0 132529997 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828062012376 139828567355264 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13980732 memory=4080 CPUtime=0.27 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) R 28489 28489 4674 0 -1 4202560 1318 0 0 0 27 0 0 0 20 0 15 0 132529997 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589781594 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13980732 memory=-8195925453750481479 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132530003 14316269568 15597 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63768 KiB
[startup+1.50088 s]
/proc/loadavg: 2.02 2.11 2.28 5/220 28519
/proc/meminfo: memFree=29285836/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13980732 memory=81096 CPUtime=3.51 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 21410 0 0 0 344 7 0 0 20 0 15 0 132529992 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3495183 20274 3199 1 0 3483476 0
[pid=28491/tid=28492] ppid=28489 vsize=13980732 memory=1835964301313 CPUtime=1.34 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 8690 0 0 0 131 3 0 0 20 0 15 0 132529992 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828593997296 139828184434909 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13980732 memory=151103798194861 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13980732 memory=7163935525201138797 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13980732 memory=839 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 132529994 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13980732 memory=42 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20274 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13980732 memory=478 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13980732 memory=81104 CPUtime=3.65 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 21462 0 0 0 358 7 0 0 20 0 15 0 132529992 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3495183 20276 3199 1 0 3483476 0
[pid=28491/tid=28492] ppid=28489 vsize=13980732 memory=1724 CPUtime=1.44 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 8695 0 0 0 141 3 0 0 20 0 15 0 132529992 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828593997440 139828184127642 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13980732 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13980732 memory=279803966046592 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 132529994 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13980732 memory=8330969454845486047 CPUtime=0.9 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) R 28489 28489 4674 0 -1 4202560 4739 0 0 0 90 0 0 0 20 0 15 0 132529997 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828063078896 139828568974719 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13980732 memory=279803966073088 CPUtime=0.92 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 4674 0 -1 1077944384 4611 0 0 0 91 1 0 0 20 0 15 0 132529997 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828062026352 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 4674 0 -1 1077944384 2101 0 0 0 35 1 0 0 20 0 15 0 132529997 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13980732 memory=64652 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 132530003 14316269568 20276 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82484 KiB
[startup+2.00068 s]*
/proc/loadavg: 2.02 2.11 2.28 3/220 28519
/proc/meminfo: memFree=29284492/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13980732 memory=83292 CPUtime=4.1 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 21506 0 0 0 403 7 0 0 20 0 15 0 132529992 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3495183 20823 3199 1 0 3483476 0
[pid=28491/tid=28492] ppid=28489 vsize=13980732 memory=6944656591801720226 CPUtime=1.84 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 8697 0 0 0 181 3 0 0 20 0 15 0 132529992 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828593996832 139828183226757 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13980732 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13980732 memory=288230608902304059 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13980732 memory=15822183599464288 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 132529994 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13980732 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 4674 0 -1 1077944384 4750 0 0 0 92 0 0 0 20 0 15 0 132529997 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828063078896 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13980732 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 4674 0 -1 1077944384 4611 0 0 0 91 1 0 0 20 0 15 0 132529997 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828062026352 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13980732 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 4674 0 -1 1077944384 2114 0 0 0 36 1 0 0 20 0 15 0 132529997 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 132530003 14316269568 20823 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84672 KiB
[startup+2.20074 s]
/proc/loadavg: 2.02 2.11 2.28 3/220 28519
/proc/meminfo: memFree=29284492/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13980732 memory=83460 CPUtime=4.37 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 21759 0 0 0 430 7 0 0 20 0 15 0 132529992 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3495183 20865 3201 1 0 3483476 0
[pid=28491/tid=28492] ppid=28489 vsize=13980732 memory=288370278135195098 CPUtime=2.04 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 8739 0 0 0 201 3 0 0 20 0 15 0 132529992 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828593996832 139828589772182 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13980732 memory=279803965997296 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13980732 memory=5938385814380964201 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13980732 memory=4641347996283201133 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13980732 memory=7809914021240465728 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 132529994 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13980732 memory=7373061455218229353 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13980732 memory=7373626587367560805 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13980732 memory=5788630088553161816 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13980732 memory=7091594282881280611 CPUtime=0.98 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) R 28489 28489 4674 0 -1 4202560 4917 0 0 0 98 0 0 0 20 0 15 0 132529997 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828063078896 139828571304335 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13980732 memory=7670301315262144873 CPUtime=0.93 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) R 28489 28489 4674 0 -1 1077944384 4643 0 0 0 92 1 0 0 20 0 15 0 132529997 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828062026352 139828589771394 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13980732 memory=7519151349382407253 CPUtime=0.38 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 4674 0 -1 1077944384 2122 0 0 0 37 1 0 0 20 0 15 0 132529997 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13980732 memory=7811887670248292452 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 132530003 14316269568 20865 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84840 KiB
[startup+2.3015 s]
/proc/loadavg: 2.02 2.11 2.28 3/220 28519
/proc/meminfo: memFree=29284492/32770624 swapFree=67108764/67108860
[pid=28489] ppid=28486 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132529983 9740288 345 18446744073709551615 4194304 5098028 140724481830832 140724481828936 140409573741180 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 39792640 140724481839480 140724481839685 140724481839685 140724481843179 0
/proc/28489/statm: 2378 345 289 221 0 87 0
[pid=28491] ppid=28489 vsize=13980732 memory=83480 CPUtime=4.58 cores=1,3,5,7
/proc/28491/stat : 28491 (java) S 28489 28489 4674 0 -1 1077944320 22405 0 0 0 451 7 0 0 20 0 15 0 132529992 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 140722749947056 139828589760247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
/proc/28491/statm: 3495183 20870 3201 1 0 3483476 0
[pid=28491/tid=28492] ppid=28489 vsize=13980732 memory=0 CPUtime=2.14 cores=1,3,5,7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 4674 0 -1 4202560 8760 0 0 0 211 3 0 0 20 0 15 0 132529992 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828593996832 139828184117270 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28493] ppid=28489 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828509174544 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28494] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828508122000 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28495] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828507069456 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28496] ppid=28489 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132529993 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828506016912 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28497] ppid=28489 vsize=13980732 memory=6083354206233319526 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 4674 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 132529994 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828067289072 139828589771394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28498] ppid=28489 vsize=13980732 memory=6368723639942337635 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828066235296 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28499] ppid=28489 vsize=13980732 memory=7955162797111797056 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132529995 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828065182704 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28500] ppid=28489 vsize=13980732 memory=6226319270367090537 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529997 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828064131280 139828589778843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28501] ppid=28489 vsize=13980732 memory=279803966103792 CPUtime=0.99 cores=1,3,5,7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 4674 0 -1 1077944384 4938 0 0 0 99 0 0 0 20 0 15 0 132529997 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828063078896 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28502] ppid=28489 vsize=13980732 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/28491/task/28502/stat : 28502 (java) R 28489 28489 4674 0 -1 4202560 5208 0 0 0 102 1 0 0 20 0 15 0 132529997 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828062015952 139828575774577 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28503] ppid=28489 vsize=13980732 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 4674 0 -1 1077944384 2161 0 0 0 37 1 0 0 20 0 15 0 132529997 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828060973808 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28504] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132529998 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828059921504 139828589770453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
[pid=28491/tid=28505] ppid=28489 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 4674 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 132530003 14316269568 20870 18446744073709551615 4194304 4196468 140722749964512 139828058868016 139828589771394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18927616 140722749972913 140722749973089 140722749973089 140722749976527 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84860 KiB
Child status: 0
Real time (s): 2.32797
CPU time (s): 4.63524
CPU user time (s): 4.55343
CPU system time (s): 0.081803
CPU usage (%): 199.111
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 84860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.55343
system time used= 0.081803
maximum resident set size= 86040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1804
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 28489
# total CPU time (s): 4.63524
# total CPU user time (s): 4.55343
# total CPU system time (s): 0.081803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048661 second user time and 0.058181 second system time
The end