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 (15251 MiB free)
memory of node 1: 16384 MiB (15554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270009-1502674082/watcher-4270009-1502674082 -o /tmp/evaluation-result-4270009-1502674082/solver-4270009-1502674082 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673226-14193 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 129854571 HOME/instance-4270009-1502674082.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14237, runsolver pid=14234
[startup+0.100093 s]*
/proc/loadavg: 1.66 1.95 2.02 5/204 14245
/proc/meminfo: memFree=31524840/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13574484 memory=16668 CPUtime=0.02 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 4004 0 0 0 2 0 0 0 20 0 9 0 55748956 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3393621 4167 2083 1 0 3383118 0
[pid=14239/tid=14240] ppid=14237 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) R 14237 14237 11586 0 -1 4202560 2725 0 0 0 2 0 0 0 20 0 9 0 55748956 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139953448964712 139953444750493 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13574484 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 55748957 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139953401694480 139953444738773 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13574484 memory=140680305989248 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 55748957 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953444738773 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 55748957 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139953399589392 139953444738773 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) S 14237 14237 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 55748957 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139953398536848 139953444738773 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13574484 memory=140680305989248 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 55748958 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139952990460400 139953444739714 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 55748959 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139952989406624 139953444738773 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 55748959 13900271616 4167 18446744073709551615 4194304 4196468 140721268664800 139952988354096 139953444738773 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18048 KiB
[startup+0.211667 s]*
/proc/loadavg: 1.66 1.95 2.02 4/212 14253
/proc/meminfo: memFree=31508216/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13974352 memory=30572 CPUtime=0.13 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 5524 0 0 0 12 1 0 0 20 0 15 0 55748956 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3493588 7643 2877 1 0 3482964 0
[pid=14239/tid=14240] ppid=14237 vsize=13974352 memory=7022364594140610616 CPUtime=0.1 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) R 14237 14237 11586 0 -1 4202560 3470 0 0 0 9 1 0 0 20 0 15 0 55748956 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139953448959872 139953444740502 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13974352 memory=288230596134830447 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748957 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139953401694480 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13974352 memory=625588 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748957 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748957 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139953399589392 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) S 14237 14237 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55748957 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139953398536848 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55748958 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952990460400 139953444739714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 55748959 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952989406624 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13974352 memory=140680305989248 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 55748959 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952988354032 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 55748961 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) R 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) R 14237 14237 11586 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 55748961 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953444740502 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748965 14309736448 7643 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31952 KiB
[startup+0.313868 s]*
/proc/loadavg: 1.66 1.95 2.02 3/212 14253
/proc/meminfo: memFree=31435864/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13978608 memory=42260 CPUtime=0.33 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 9250 0 0 0 31 2 0 0 20 0 15 0 55748956 14314094592 10565 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3494652 10565 3040 1 0 3482964 0
[pid=14239/tid=14240] ppid=14237 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) R 14237 14237 11586 0 -1 4202560 6391 0 0 0 18 2 0 0 20 0 15 0 55748956 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139953448949560 139953444750493 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748957 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139953401694480 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13978608 memory=-8542328529919094630 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748957 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748957 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139953399589392 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) S 14237 14237 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55748957 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139953398536848 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55748958 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952990460400 139953444739714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 55748959 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952989406624 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 55748959 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952988354032 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 668 0 0 0 3 0 0 0 20 0 15 0 55748961 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) S 14237 14237 11586 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 55748961 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) R 14237 14237 11586 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 15 0 55748961 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953428809054 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748965 14314094592 10621 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 43640 KiB
[startup+0.701581 s]
/proc/loadavg: 1.66 1.95 2.02 3/212 14253
/proc/meminfo: memFree=31090112/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13978684 memory=288272 CPUtime=1.07 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 11327 0 0 0 85 22 0 0 20 0 15 0 55748956 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3494671 72068 3147 1 0 3482964 0
[pid=14239/tid=14240] ppid=14237 vsize=13978684 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) R 14237 14237 11586 0 -1 4202560 7769 0 0 0 46 5 0 0 20 0 15 0 55748956 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139953448960928 139953444750493 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13978684 memory=8242257093008242997 CPUtime=0.05 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) S 14237 14237 11586 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 55748957 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139953401694480 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13978684 memory=5787495302108111680 CPUtime=0.05 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) S 14237 14237 11586 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 55748957 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13978684 memory=7666364995466192728 CPUtime=0.05 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) S 14237 14237 11586 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 55748957 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139953399589392 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13978684 memory=5790591594678725216 CPUtime=0.05 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) S 14237 14237 11586 0 -1 1077944384 70 0 0 0 2 3 0 0 20 0 15 0 55748957 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139953398536848 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 55748958 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952990460400 139953444739714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 55748959 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952989406624 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 55748959 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952988354032 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13978684 memory=288230600329135420 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13978684 memory=14694093259302042 CPUtime=0.06 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 806 0 0 0 6 0 0 0 20 0 15 0 55748961 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) S 14237 14237 11586 0 -1 1077944384 214 0 0 0 5 0 0 0 20 0 15 0 55748961 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13978684 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) S 14237 14237 11586 0 -1 1077944384 900 0 0 0 15 0 0 0 20 0 15 0 55748961 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55748965 14314172416 72068 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 289652 KiB
[startup+1.50083 s]
/proc/loadavg: 1.66 1.95 2.02 6/212 14253
/proc/meminfo: memFree=29970020/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13978684 memory=1070288 CPUtime=2.77 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 15296 0 0 0 243 34 0 0 20 0 15 0 55748956 14314172416 267572 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3494671 267572 3199 1 0 3482964 0
[pid=14239/tid=14240] ppid=14237 vsize=13978684 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) R 14237 14237 11586 0 -1 4202560 8752 0 0 0 97 16 0 0 20 0 15 0 55748956 14314172416 267572 18446744073709551615 4194304 4196468 140721268664800 139953448966560 139953072228113 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13978684 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) S 14237 14237 11586 0 -1 1077944384 130 0 0 0 17 3 0 0 20 0 15 0 55748957 14314172416 267572 18446744073709551615 4194304 4196468 140721268664800 139953401694480 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) S 14237 14237 11586 0 -1 1077944384 95 0 0 0 18 3 0 0 20 0 15 0 55748957 14314172416 267572 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13978684 memory=2209 CPUtime=0.18 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) S 14237 14237 11586 0 -1 1077944384 139 0 0 0 14 4 0 0 20 0 15 0 55748957 14314172416 267572 18446744073709551615 4194304 4196468 140721268664800 139953399589392 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13978684 memory=281360355336736 CPUtime=0.19 cores=1,3,5,7
################
# More data... #
################
/proc/14239/task/14242/stat : 14242 (java) R 14237 14237 11586 0 -1 4202560 17606 0 0 0 918 332 0 0 20 0 15 0 55748957 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953429679666 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13980732 memory=9808 CPUtime=12.49 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) R 14237 14237 11586 0 -1 4202560 15094 0 0 0 976 273 0 0 20 0 15 0 55748957 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139953399589592 139953429426319 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13980732 memory=5929 CPUtime=12.51 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) R 14237 14237 11586 0 -1 4202560 13728 0 0 0 958 293 0 0 20 0 15 0 55748957 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139953398536848 139953429713863 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=2.55 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 17775 0 0 0 251 4 0 0 20 0 15 0 55748958 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952990458720 139953444738773 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952989406688 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13980732 memory=5668 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952988354048 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13980732 memory=796 CPUtime=0.44 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 3463 0 0 0 44 0 0 0 20 0 15 0 55748961 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13980732 memory=9992 CPUtime=0.5 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) S 14237 14237 11586 0 -1 1077944384 2528 0 0 0 50 0 0 0 20 0 15 0 55748961 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13980732 memory=1716 CPUtime=0.3 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) S 14237 14237 11586 0 -1 1077944384 2609 0 0 0 30 0 0 0 20 0 15 0 55748961 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=0.06 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 553 0 0 0 3 3 0 0 20 0 15 0 55748965 14316269568 2853910 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 128.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11417020 KiB
[startup+91.2008 s]
/proc/loadavg: 2.26 2.05 2.05 6/212 14255
/proc/meminfo: memFree=13154100/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13980732 memory=11415668 CPUtime=134.31 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 134945 0 0 0 12215 1216 0 0 20 0 15 0 55748956 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3495183 2853917 3222 1 0 3483476 0
[pid=14239/tid=14240] ppid=14237 vsize=13980732 memory=4120 CPUtime=74.3 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) S 14237 14237 11586 0 -1 1077944384 40326 0 0 0 7408 22 0 0 20 0 15 0 55748956 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953448966784 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13980732 memory=31912 CPUtime=14.06 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) R 14237 14237 11586 0 -1 4202560 19717 0 0 0 1124 282 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953401694680 139953437831591 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=13.99 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) R 14237 14237 11586 0 -1 4202560 17714 0 0 0 1066 333 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953400641744 139953437356775 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13980732 memory=10938496 CPUtime=13.98 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) R 14237 14237 11586 0 -1 4202560 15126 0 0 0 1124 274 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953399589200 139953428111600 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13980732 memory=1108 CPUtime=13.97 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) R 14237 14237 11586 0 -1 4202560 13772 0 0 0 1104 293 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953398536968 139953437356775 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=2.63 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 17786 0 0 0 259 4 0 0 20 0 15 0 55748958 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952990458960 139953444738773 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13980732 memory=11415668 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952989406688 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952988354048 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13980732 memory=31912 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=0.44 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 3463 0 0 0 44 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13980732 memory=7151728 CPUtime=0.5 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) S 14237 14237 11586 0 -1 1077944384 2528 0 0 0 50 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13980732 memory=9992 CPUtime=0.3 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) S 14237 14237 11586 0 -1 1077944384 2609 0 0 0 30 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13980732 memory=11407200 CPUtime=0.06 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 555 0 0 0 3 3 0 0 20 0 15 0 55748965 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 134.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11417048 KiB
[startup+92.0008 s]*
/proc/loadavg: 2.26 2.05 2.05 6/212 14255
/proc/meminfo: memFree=13154104/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13980732 memory=11415668 CPUtime=137.47 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 145318 0 0 0 12528 1219 0 0 20 0 15 0 55748956 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3495183 2853917 3222 1 0 3483476 0
[pid=14239/tid=14240] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=74.3 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) S 14237 14237 11586 0 -1 1077944384 40326 0 0 0 7408 22 0 0 20 0 15 0 55748956 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953448966784 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13980732 memory=4126316290023845779 CPUtime=14.87 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) R 14237 14237 11586 0 -1 4202560 30092 0 0 0 1204 283 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953401694680 139953437831581 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13980732 memory=15254852779378649 CPUtime=14.77 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) R 14237 14237 11586 0 -1 4202560 17714 0 0 0 1143 334 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953400641744 139953437356775 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13980732 memory=1008 CPUtime=14.77 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) R 14237 14237 11586 0 -1 4202560 15126 0 0 0 1202 275 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953399589200 139953437356775 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13980732 memory=2432 CPUtime=14.74 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) R 14237 14237 11586 0 -1 4202560 13772 0 0 0 1180 294 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953398536968 139953437356775 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13980732 memory=2432 CPUtime=2.63 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) S 14237 14237 11586 0 -1 1077944384 17786 0 0 0 259 4 0 0 20 0 15 0 55748958 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952990458960 139953444738773 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952989406688 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13980732 memory=2880 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952988354048 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13980732 memory=6982348 CPUtime=0.44 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 3463 0 0 0 44 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13980732 memory=1156 CPUtime=0.5 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) S 14237 14237 11586 0 -1 1077944384 2528 0 0 0 50 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13980732 memory=2936 CPUtime=0.3 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) S 14237 14237 11586 0 -1 1077944384 2609 0 0 0 30 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13980732 memory=10938496 CPUtime=0.06 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 555 0 0 0 3 3 0 0 20 0 15 0 55748965 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 137.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11417048 KiB
[startup+92.4008 s]
/proc/loadavg: 2.26 2.05 2.05 6/212 14255
/proc/meminfo: memFree=13154104/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
[pid=14239] ppid=14237 vsize=13980732 memory=11415668 CPUtime=138.21 cores=1,3,5,7
/proc/14239/stat : 14239 (java) S 14237 14237 11586 0 -1 1077944320 146480 0 0 0 12602 1219 0 0 20 0 15 0 55748956 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 140721268647344 139953444728567 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
/proc/14239/statm: 3495183 2853917 3222 1 0 3483476 0
[pid=14239/tid=14240] ppid=14237 vsize=13980732 memory=-8774313645642428999 CPUtime=74.3 cores=1,3,5,7
/proc/14239/task/14240/stat : 14240 (java) S 14237 14237 11586 0 -1 1077944384 40326 0 0 0 7408 22 0 0 20 0 15 0 55748956 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953448966784 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14241] ppid=14237 vsize=13980732 memory=11415668 CPUtime=14.99 cores=1,3,5,7
/proc/14239/task/14241/stat : 14241 (java) S 14237 14237 11586 0 -1 1077944384 31252 0 0 0 1216 283 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953401694480 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14242] ppid=14237 vsize=13980732 memory=928 CPUtime=14.89 cores=1,3,5,7
/proc/14239/task/14242/stat : 14242 (java) S 14237 14237 11586 0 -1 1077944384 17714 0 0 0 1155 334 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953400641936 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14243] ppid=14237 vsize=13980732 memory=1580 CPUtime=14.89 cores=1,3,5,7
/proc/14239/task/14243/stat : 14243 (java) S 14237 14237 11586 0 -1 1077944384 15126 0 0 0 1214 275 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953399589392 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14244] ppid=14237 vsize=13980732 memory=2432 CPUtime=14.86 cores=1,3,5,7
/proc/14239/task/14244/stat : 14244 (java) S 14237 14237 11586 0 -1 1077944384 13772 0 0 0 1192 294 0 0 20 0 15 0 55748957 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139953398536848 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14245] ppid=14237 vsize=13980732 memory=1156 CPUtime=2.9 cores=1,3,5,7
/proc/14239/task/14245/stat : 14245 (java) R 14237 14237 11586 0 -1 4202560 17786 0 0 0 286 4 0 0 20 0 15 0 55748958 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952990458960 139953429186158 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14246] ppid=14237 vsize=13980732 memory=2972 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14246/stat : 14246 (java) S 14237 14237 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952989406688 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14247] ppid=14237 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14247/stat : 14247 (java) S 14237 14237 11586 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 55748959 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952988354048 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14248] ppid=14237 vsize=13980732 memory=6982348 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14248/stat : 14248 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952987302608 139953444747163 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14249] ppid=14237 vsize=13980732 memory=1156 CPUtime=0.44 cores=1,3,5,7
/proc/14239/task/14249/stat : 14249 (java) S 14237 14237 11586 0 -1 1077944384 3463 0 0 0 44 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952423954416 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14250] ppid=14237 vsize=13980732 memory=2976 CPUtime=0.5 cores=1,3,5,7
/proc/14239/task/14250/stat : 14250 (java) S 14237 14237 11586 0 -1 1077944384 2528 0 0 0 50 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952422901872 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14251] ppid=14237 vsize=13980732 memory=1380 CPUtime=0.3 cores=1,3,5,7
/proc/14239/task/14251/stat : 14251 (java) S 14237 14237 11586 0 -1 1077944384 2609 0 0 0 30 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952421849328 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14252] ppid=14237 vsize=13980732 memory=11415640 CPUtime=0 cores=1,3,5,7
/proc/14239/task/14252/stat : 14252 (java) S 14237 14237 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55748961 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952420797024 139953444738773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
[pid=14239/tid=14253] ppid=14237 vsize=13980732 memory=16240 CPUtime=0.06 cores=1,3,5,7
/proc/14239/task/14253/stat : 14253 (java) S 14237 14237 11586 0 -1 1077944384 555 0 0 0 3 3 0 0 20 0 15 0 55748965 14316269568 2853917 18446744073709551615 4194304 4196468 140721268664800 139952419744560 139953444739714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140721268666807 140721268666982 140721268666982 140721268670415 0
Current children cumulated CPU time: 138.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11417048 KiB
[startup+92.6008 s]
/proc/loadavg: 2.26 2.05 2.05 6/212 14255
/proc/meminfo: memFree=13154104/32770624 swapFree=67108860/67108860
[pid=14237] ppid=14234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (xcsp3-exec) S 14234 14237 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 55748948 9740288 345 18446744073709551615 4194304 5098028 140729508057648 140729508055752 139788908491388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35356672 140729508065663 140729508065866 140729508065866 140729508069355 0
/proc/14237/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 1
Real time (s): 92.6476
CPU time (s): 138.473
CPU user time (s): 126.225
CPU system time (s): 12.2472
CPU usage (%): 149.462
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11417048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.225
system time used= 12.2472
maximum resident set size= 11416192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5837
involuntary context switches= 705
# summary of solver processes directly reported to runsolver:
# pid: 14237
# total CPU time (s): 138.473
# total CPU user time (s): 126.225
# total CPU system time (s): 12.2472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.649274 second user time and 0.972945 second system time
The end