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 (15254 MiB free)
memory of node 1: 16384 MiB (15250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400420-1568680822/watcher-4400420-1568680822 -o /tmp/evaluation-result-4400420-1568680822/solver-4400420-1568680822 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 474024210 HOME/instance-4400420-1568680822.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13422, runsolver pid=13419
Current StackSize limit: 8192 KiB
[startup+0.100949 s]*
/proc/loadavg: 8.89 8.60 8.54 7/233 13438
/proc/meminfo: memFree=31219240/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15144776 memory=29368 CPUtime=0.12 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 5738 0 0 0 11 1 0 0 20 0 15 0 444335237 15508250624 7342 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3786194 7342 3144 1 0 3748377 0
[pid=13424/tid=13425] ppid=13422 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) R 13422 13422 32513 0 -1 4202560 3665 0 0 0 8 1 0 0 20 0 15 0 444335237 15508250624 7342 33554432000 4194304 4196468 140721171767584 139656280231824 139656261369906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 7342 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15144776 memory=140273305491072 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 7342 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15144776 memory=140273305491072 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444335240 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444335240 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655148168224 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444335240 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655147115376 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) R 13422 13422 32513 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655145003728 139656259436241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) R 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655143959280 139656276011650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15144776 memory=140273305491072 CPUtime=0.02 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) R 13422 13422 32513 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 444335243 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655142906480 139656276014367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15144776 memory=140273305491072 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 7342 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30816 KiB
[startup+0.210942 s]*
/proc/loadavg: 8.89 8.60 8.54 6/233 13438
/proc/meminfo: memFree=31205584/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15144776 memory=40892 CPUtime=0.34 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 9456 0 0 0 31 3 0 0 20 0 15 0 444335237 15508250624 10223 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3786194 10223 3303 1 0 3748377 0
[pid=13424/tid=13425] ppid=13422 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) R 13422 13422 32513 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 15 0 444335237 15508250624 10223 33554432000 4194304 4196468 140721171767584 139656280234768 139655911650488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 10223 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15144776 memory=140273308956794 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 10223 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444335238 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15144776 memory=140273305491072 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444335240 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444335240 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655148168224 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444335240 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655147115376 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) S 13422 13422 32513 0 -1 1077944384 720 0 0 0 2 0 0 0 20 0 15 0 444335243 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655145012080 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) S 13422 13422 32513 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 15 0 444335243 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655143959280 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15144776 memory=140273305491072 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) R 13422 13422 32513 0 -1 4202560 690 0 0 0 7 0 0 0 20 0 15 0 444335243 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655142906480 139656255381697 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335243 15508250624 10223 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42340 KiB
[startup+0.310862 s]*
/proc/loadavg: 8.89 8.60 8.54 8/233 13438
/proc/meminfo: memFree=31199108/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15149032 memory=49852 CPUtime=0.53 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 10773 0 0 0 49 4 0 0 20 0 15 0 444335237 15512608768 12463 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3787258 12463 3364 1 0 3748377 0
[pid=13424/tid=13425] ppid=13422 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) R 13422 13422 32513 0 -1 4202560 7753 0 0 0 27 3 0 0 20 0 15 0 444335237 15512608768 12463 33554432000 4194304 4196468 140721171767584 139656280234288 139656260080990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15512608768 12463 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15149032 memory=3552617 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15512608768 12463 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444335238 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444335240 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444335240 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655148168224 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444335240 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655147115376 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) R 13422 13422 32513 0 -1 4202560 846 0 0 0 5 0 0 0 20 0 15 0 444335243 15512608768 12463 33554432000 4194304 4196468 140721171767584 139655145002352 139656261108535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) S 13422 13422 32513 0 -1 1077944384 118 0 0 0 3 0 0 0 20 0 15 0 444335243 15512608768 12494 33554432000 4194304 4196468 140721171767584 139655143959280 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) S 13422 13422 32513 0 -1 1077944384 773 0 0 0 12 0 0 0 20 0 15 0 444335243 15512608768 12494 33554432000 4194304 4196468 140721171767584 139655142906480 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15512608768 12494 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335243 15512608768 12494 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51300 KiB
[startup+0.701303 s]
/proc/loadavg: 8.89 8.60 8.54 7/233 13438
/proc/meminfo: memFree=31185868/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15151156 memory=94040 CPUtime=1.69 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 14653 0 0 0 164 5 0 0 20 0 15 0 444335237 15514783744 23510 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3787789 23510 3465 1 0 3748889 0
[pid=13424/tid=13425] ppid=13422 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) R 13422 13422 32513 0 -1 4202560 9194 0 0 0 64 3 0 0 20 0 15 0 444335237 15514783744 23510 33554432000 4194304 4196468 140721171767584 139656280238160 139656268678517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15514783744 23510 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15514783744 23510 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335238 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444335238 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444335240 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444335240 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655148168224 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444335240 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655147115376 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15151156 memory=1764 CPUtime=0.3 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) R 13422 13422 32513 0 -1 4202560 1664 0 0 0 30 0 0 0 20 0 15 0 444335243 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655144998184 139656253595414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15151156 memory=111628 CPUtime=0.27 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) R 13422 13422 32513 0 -1 4202560 721 0 0 0 27 0 0 0 20 0 15 0 444335243 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655143939760 139656256700800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15151156 memory=796 CPUtime=0.41 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) S 13422 13422 32513 0 -1 1077944384 1768 0 0 0 41 0 0 0 20 0 15 0 444335243 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655142906480 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444335243 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444335243 15514783744 23510 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95488 KiB
[startup+1.50987 s]
/proc/loadavg: 8.89 8.60 8.54 12/237 13442
/proc/meminfo: memFree=31134212/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216212 KiB
[startup+52.8019 s]
/proc/loadavg: 9.01 8.71 8.58 9/238 13467
/proc/meminfo: memFree=31089120/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15417412 memory=214772 CPUtime=208.75 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 53162 0 0 0 20854 21 0 0 20 0 19 0 444335237 15787429888 53693 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3854353 53693 3529 1 0 3815453 0
[pid=13424/tid=13425] ppid=13422 vsize=15417412 memory=3028 CPUtime=0.74 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) S 13422 13422 32513 0 -1 1077944384 9621 0 0 0 70 4 0 0 20 0 19 0 444335237 15787429888 53693 33554432000 4194304 4196468 140721171767584 139656280241280 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15417412 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 499 0 0 0 6 1 0 0 20 0 19 0 444335238 15787429888 53693 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15417412 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 2118 0 0 0 6 2 0 0 20 0 19 0 444335238 15787429888 53693 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15417412 memory=214772 CPUtime=0.08 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1227 0 0 0 6 2 0 0 20 0 19 0 444335238 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15417412 memory=3768 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 19 0 444335238 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15417412 memory=1980 CPUtime=0.02 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 1215 0 0 0 2 0 0 0 20 0 19 0 444335240 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444335240 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655148168288 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 444335240 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655147115392 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444335243 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15417412 memory=288230574492221466 CPUtime=2.17 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) S 13422 13422 32513 0 -1 1077944384 13001 0 0 0 215 2 0 0 20 0 19 0 444335243 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655145012080 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15417412 memory=288230596050944315 CPUtime=1.82 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) S 13422 13422 32513 0 -1 1077944384 10385 0 0 0 181 1 0 0 20 0 19 0 444335243 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655143959280 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15417412 memory=14410423571057304 CPUtime=0.75 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) S 13422 13422 32513 0 -1 1077944384 6767 0 0 0 74 1 0 0 20 0 19 0 444335243 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655142906480 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15417412 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444335243 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15417412 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 523 0 0 0 0 1 0 0 20 0 19 0 444335243 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13464] ppid=13422 vsize=15417412 memory=214796 CPUtime=2.01 cores=0,2,4,6
/proc/13424/task/13464/stat : 13464 (java) R 13422 13422 32513 0 -1 4202560 56 0 0 0 201 0 0 0 20 0 19 0 444340316 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655130766696 139655917879002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13465] ppid=13422 vsize=15417412 memory=1388 CPUtime=2 cores=0,2,4,6
/proc/13424/task/13465/stat : 13465 (java) R 13422 13422 32513 0 -1 4202560 35 0 0 0 200 0 0 0 20 0 19 0 444340316 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655129714904 139655918091392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13466] ppid=13422 vsize=15417412 memory=776 CPUtime=2.01 cores=0,2,4,6
/proc/13424/task/13466/stat : 13466 (java) R 13422 13422 32513 0 -1 4202560 27 0 0 0 201 0 0 0 20 0 19 0 444340316 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655128662672 139655919870352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13467] ppid=13422 vsize=15417412 memory=3992 CPUtime=1.95 cores=0,2,4,6
/proc/13424/task/13467/stat : 13467 (java) R 13422 13422 32513 0 -1 4202560 27 0 0 0 195 0 0 0 20 0 19 0 444340316 15787429888 53693 33554432000 4194304 4196468 140721171767584 139655131819520 139655916923840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 208.75 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216220 KiB
[startup+53.2009 s]
/proc/loadavg: 9.01 8.71 8.58 9/238 13467
/proc/meminfo: memFree=31089120/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15417412 memory=214784 CPUtime=210.33 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 53457 0 0 0 21012 21 0 0 20 0 19 0 444335237 15787429888 53696 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3854353 53696 3530 1 0 3815453 0
[pid=13424/tid=13425] ppid=13422 vsize=15417412 memory=288230596050944315 CPUtime=0.74 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) S 13422 13422 32513 0 -1 1077944384 9621 0 0 0 70 4 0 0 20 0 19 0 444335237 15787429888 53696 33554432000 4194304 4196468 140721171767584 139656280241280 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15417412 memory=14410423571057304 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 499 0 0 0 6 1 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15417412 memory=2828 CPUtime=0.08 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 2118 0 0 0 6 2 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15417412 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1227 0 0 0 6 2 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15417412 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15417412 memory=14410423571057304 CPUtime=0.02 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 1215 0 0 0 2 0 0 0 20 0 19 0 444335240 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15417412 memory=214772 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444335240 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655148168288 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15417412 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 444335240 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655147115392 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15417412 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15417412 memory=796 CPUtime=2.18 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) S 13422 13422 32513 0 -1 1077944384 13254 0 0 0 216 2 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655145012080 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15417412 memory=4100 CPUtime=1.82 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) S 13422 13422 32513 0 -1 1077944384 10385 0 0 0 181 1 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655143959280 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15417412 memory=1408 CPUtime=0.75 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) S 13422 13422 32513 0 -1 1077944384 6807 0 0 0 74 1 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655142906480 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15417412 memory=3352 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15417412 memory=228300 CPUtime=0.01 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 523 0 0 0 0 1 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13464] ppid=13422 vsize=15417412 memory=236508 CPUtime=2.39 cores=0,2,4,6
/proc/13424/task/13464/stat : 13464 (java) R 13422 13422 32513 0 -1 4202560 56 0 0 0 239 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655130767480 139655918091521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13465] ppid=13422 vsize=15417412 memory=280546324887120 CPUtime=2.38 cores=0,2,4,6
/proc/13424/task/13465/stat : 13465 (java) R 13422 13422 32513 0 -1 4202560 37 0 0 0 238 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655129714904 139655919870074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13466] ppid=13422 vsize=15417412 memory=7235375030292933220 CPUtime=2.41 cores=0,2,4,6
/proc/13424/task/13466/stat : 13466 (java) R 13422 13422 32513 0 -1 4202560 27 0 0 0 241 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655128662560 139655919870089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13467] ppid=13422 vsize=15417412 memory=7308046108333266794 CPUtime=2.35 cores=0,2,4,6
/proc/13424/task/13467/stat : 13467 (java) R 13422 13422 32513 0 -1 4202560 27 0 0 0 235 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655131822152 139655919870074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 210.33 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216232 KiB
[startup+53.6009 s]
/proc/loadavg: 9.01 8.71 8.58 9/238 13467
/proc/meminfo: memFree=31089120/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
[pid=13424] ppid=13422 vsize=15417412 memory=214784 CPUtime=211.92 cores=0,2,4,6
/proc/13424/stat : 13424 (java) S 13422 13422 32513 0 -1 1077944320 53479 0 0 0 21171 21 0 0 20 0 19 0 444335237 15787429888 53696 33554432000 4194304 4196468 140721171767584 140721171750128 139656276000503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
/proc/13424/statm: 3854353 53696 3530 1 0 3815453 0
[pid=13424/tid=13425] ppid=13422 vsize=15417412 memory=1448 CPUtime=0.74 cores=0,2,4,6
/proc/13424/task/13425/stat : 13425 (java) S 13422 13422 32513 0 -1 1077944384 9621 0 0 0 70 4 0 0 20 0 19 0 444335237 15787429888 53696 33554432000 4194304 4196468 140721171767584 139656280241280 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13426] ppid=13422 vsize=15417412 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13426/stat : 13426 (java) S 13422 13422 32513 0 -1 1077944384 499 0 0 0 6 1 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139656232553616 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13427] ppid=13422 vsize=15417412 memory=47960 CPUtime=0.08 cores=0,2,4,6
/proc/13424/task/13427/stat : 13427 (java) S 13422 13422 32513 0 -1 1077944384 2118 0 0 0 6 2 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139656231500816 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13428] ppid=13422 vsize=15417412 memory=3028 CPUtime=0.08 cores=0,2,4,6
/proc/13424/task/13428/stat : 13428 (java) S 13422 13422 32513 0 -1 1077944384 1227 0 0 0 6 2 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655866669968 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13429] ppid=13422 vsize=15417412 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/13424/task/13429/stat : 13429 (java) S 13422 13422 32513 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 19 0 444335238 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655865617168 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13430] ppid=13422 vsize=15417412 memory=1388 CPUtime=0.02 cores=0,2,4,6
/proc/13424/task/13430/stat : 13430 (java) S 13422 13422 32513 0 -1 1077944384 1215 0 0 0 2 0 0 0 20 0 19 0 444335240 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655149222256 139656276011650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13431] ppid=13422 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13431/stat : 13431 (java) S 13422 13422 32513 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444335240 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655148168288 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13432] ppid=13422 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13432/stat : 13432 (java) S 13422 13422 32513 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 444335240 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655147115392 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13433] ppid=13422 vsize=15417412 memory=-8707038579349950309 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13433/stat : 13433 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655146063696 139656276019099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13434] ppid=13422 vsize=15417412 memory=-8341965534556230502 CPUtime=2.18 cores=0,2,4,6
/proc/13424/task/13434/stat : 13434 (java) S 13422 13422 32513 0 -1 1077944384 13254 0 0 0 216 2 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655145012080 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13435] ppid=13422 vsize=15417412 memory=9047017150487036571 CPUtime=1.83 cores=0,2,4,6
/proc/13424/task/13435/stat : 13435 (java) S 13422 13422 32513 0 -1 1077944384 10401 0 0 0 182 1 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655143959280 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13436] ppid=13422 vsize=15417412 memory=39908 CPUtime=0.75 cores=0,2,4,6
/proc/13424/task/13436/stat : 13436 (java) S 13422 13422 32513 0 -1 1077944384 6807 0 0 0 74 1 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655142906480 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13437] ppid=13422 vsize=15417412 memory=7086239639730218859 CPUtime=0 cores=0,2,4,6
/proc/13424/task/13437/stat : 13437 (java) S 13422 13422 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655141853920 139656276010709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13438] ppid=13422 vsize=15417412 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/13424/task/13438/stat : 13438 (java) S 13422 13422 32513 0 -1 1077944384 523 0 0 0 0 1 0 0 20 0 19 0 444335243 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655140801200 139656276011650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13464] ppid=13422 vsize=15417412 memory=214772 CPUtime=2.79 cores=0,2,4,6
/proc/13424/task/13464/stat : 13464 (java) R 13422 13422 32513 0 -1 4202560 56 0 0 0 279 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655130767480 139655919775012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13465] ppid=13422 vsize=15417412 memory=211452 CPUtime=2.78 cores=0,2,4,6
/proc/13424/task/13465/stat : 13465 (java) R 13422 13422 32513 0 -1 4202560 43 0 0 0 278 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655129715288 139655915176758 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13466] ppid=13422 vsize=15417412 memory=2828 CPUtime=2.81 cores=0,2,4,6
/proc/13424/task/13466/stat : 13466 (java) R 13422 13422 32513 0 -1 4202560 27 0 0 0 281 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655128662560 139655919870352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
[pid=13424/tid=13467] ppid=13422 vsize=15417412 memory=676 CPUtime=2.75 cores=0,2,4,6
/proc/13424/task/13467/stat : 13467 (java) R 13422 13422 32513 0 -1 4202560 27 0 0 0 275 0 0 0 20 0 19 0 444340316 15787429888 53696 33554432000 4194304 4196468 140721171767584 139655131822152 139655919870089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27738112 140721171772399 140721171772570 140721171772570 140721171775439 0
Current children cumulated CPU time: 211.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216232 KiB
[startup+53.7008 s]
/proc/loadavg: 9.01 8.71 8.58 9/238 13467
/proc/meminfo: memFree=31089120/32770624 swapFree=66997372/67108860
[pid=13422] ppid=13419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (xcsp3-exec) S 13419 13422 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444335237 115843072 362 33554432000 4194304 5098028 140724340216368 140724340214472 140357751132796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34586624 140724340220795 140724340221037 140724340221037 140724340223946 0
/proc/13422/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 53.7027
CPU time (s): 212.314
CPU user time (s): 212.093
CPU system time (s): 0.220774
CPU usage (%): 395.351
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 239496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.093
system time used= 0.220774
maximum resident set size= 238048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4581
involuntary context switches= 4853
# summary of solver processes directly reported to runsolver:
# pid: 13422
# total CPU time (s): 212.314
# total CPU user time (s): 212.093
# total CPU system time (s): 0.220774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.364657 second user time and 0.660635 second system time
The end