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 (4835 MiB free)
memory of node 1: 16384 MiB (12889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283275-1503221685/watcher-4283275-1503221685 -o /tmp/evaluation-result-4283275-1503221685/solver-4283275-1503221685 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503215543-27248 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1400487374 HOME/instance-4283275-1503221685.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28442, runsolver pid=28439
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.35 2.35 2.14 3/218 28458
/proc/meminfo: memFree=18132720/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13978596 memory=28264 CPUtime=0.12 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 5443 0 0 0 11 1 0 0 20 0 15 0 155256386 14314082304 7066 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3494649 7066 2862 1 0 3482966 0
[pid=28444/tid=28445] ppid=28442 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 3442 0 0 0 8 1 0 0 20 0 15 0 155256387 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949775996720 139949378730448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13978596 memory=139682642339456 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13978596 memory=139682642339456 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256389 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155256389 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949244909088 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155256389 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949243856240 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) S 28442 28442 21004 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 155256392 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949241751920 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) S 28442 28442 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155256392 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949240699120 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13978596 memory=139682642339456 CPUtime=0.01 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) R 28442 28442 21004 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 15 0 155256392 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949239646320 139949750705103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13978596 memory=139682642339456 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256392 14314082304 7131 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29648 KiB
[startup+0.210558 s]*
/proc/loadavg: 2.35 2.35 2.14 4/218 28458
/proc/meminfo: memFree=18121664/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13982852 memory=40408 CPUtime=0.34 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 8259 0 0 0 31 3 0 0 20 0 15 0 155256386 14318440448 10102 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3495713 10102 3078 1 0 3482966 0
[pid=28444/tid=28445] ppid=28442 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 5394 0 0 0 18 2 0 0 20 0 15 0 155256387 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949775987680 139949378710747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13982852 memory=12478 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13982852 memory=139682642365809 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13982852 memory=139682642339456 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256389 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155256389 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949244909088 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155256389 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949243856240 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) S 28442 28442 21004 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 155256392 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949241751920 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) S 28442 28442 21004 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 15 0 155256392 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949240699120 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13982852 memory=139682642339456 CPUtime=0.07 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) R 28442 28442 21004 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 15 0 155256392 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949239646320 139949771775382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256392 14318440448 10102 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41792 KiB
[startup+0.310917 s]*
/proc/loadavg: 2.35 2.35 2.14 5/218 28458
/proc/meminfo: memFree=18114716/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13982852 memory=47520 CPUtime=0.52 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 9063 0 0 0 49 3 0 0 20 0 15 0 155256386 14318440448 11880 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3495713 11880 3101 1 0 3482966 0
[pid=28444/tid=28445] ppid=28442 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 5946 0 0 0 27 2 0 0 20 0 15 0 155256387 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949775988256 139949771785373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13982852 memory=12817 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13982852 memory=3474868185298395620 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256389 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155256389 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949244909088 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155256389 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949243856240 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) R 28442 28442 21004 0 -1 4202560 555 0 0 0 3 0 0 0 20 0 15 0 155256392 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949241732936 139949753285110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) R 28442 28442 21004 0 -1 1077944384 390 0 0 0 4 0 0 0 20 0 15 0 155256392 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949240685904 139949771773653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) R 28442 28442 21004 0 -1 4202560 869 0 0 0 12 0 0 0 20 0 15 0 155256392 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949239643256 139949764869139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256392 14318440448 11880 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48904 KiB
[startup+0.701713 s]
/proc/loadavg: 2.35 2.35 2.14 6/218 28458
/proc/meminfo: memFree=18089776/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13984976 memory=100892 CPUtime=1.72 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 12285 0 0 0 167 5 0 0 20 0 15 0 155256386 14320615424 25223 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3496244 25223 3204 1 0 3483478 0
[pid=28444/tid=28445] ppid=28442 vsize=13984976 memory=4044 CPUtime=0.67 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 6725 0 0 0 64 3 0 0 20 0 15 0 155256387 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949776001152 139949380694592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155256387 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13984976 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155256387 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949244909088 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949243856240 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13984976 memory=932 CPUtime=0.31 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) R 28442 28442 21004 0 -1 4202560 1292 0 0 0 31 0 0 0 20 0 15 0 155256392 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949241738464 139949751034324 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13984976 memory=2200 CPUtime=0.34 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) R 28442 28442 21004 0 -1 4202560 1130 0 0 0 34 0 0 0 20 0 15 0 155256392 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949240685552 139949756153537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13984976 memory=7792 CPUtime=0.37 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) S 28442 28442 21004 0 -1 1077944384 1826 0 0 0 36 1 0 0 20 0 15 0 155256392 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949239646320 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 25223 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 102276 KiB
[startup+1.50087 s]
/proc/loadavg: 2.35 2.35 2.14 5/218 28458
/proc/meminfo: memFree=18038064/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13984976 memory=555016 CPUtime=1905.68 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 255736 0 0 0 190331 237 0 0 20 0 15 0 155256386 14320615424 138754 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3496244 138754 3288 1 0 3483478 0
[pid=28444/tid=28445] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=1850.29 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 53317 0 0 0 185018 11 0 0 20 0 15 0 155256387 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949776002768 139949387026442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13984976 memory=4126316290023845779 CPUtime=11.01 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 18443 0 0 0 1057 44 0 0 20 0 15 0 155256387 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13984976 memory=2428 CPUtime=10.97 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 15236 0 0 0 1053 44 0 0 20 0 15 0 155256387 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13984976 memory=554992 CPUtime=10.99 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 16223 0 0 0 1056 43 0 0 20 0 15 0 155256387 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13984976 memory=557044 CPUtime=11 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 15733 0 0 0 1055 45 0 0 20 0 15 0 155256387 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13984976 memory=561660 CPUtime=0.78 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 52426 0 0 0 65 13 0 0 20 0 15 0 155256389 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949244909152 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949243856256 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13984976 memory=1224 CPUtime=4.67 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) S 28442 28442 21004 0 -1 1077944384 36776 0 0 0 464 3 0 0 20 0 15 0 155256392 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949241751920 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13984976 memory=564228 CPUtime=4.36 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) S 28442 28442 21004 0 -1 1077944384 32089 0 0 0 432 4 0 0 20 0 15 0 155256392 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949240699120 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13984976 memory=3276 CPUtime=0.91 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) S 28442 28442 21004 0 -1 1077944384 12855 0 0 0 88 3 0 0 20 0 15 0 155256392 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949239646320 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13984976 memory=6740884 CPUtime=0.62 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1247 0 0 0 29 33 0 0 20 0 15 0 155256392 14320615424 138754 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 1905.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 556400 KiB
[startup+1864.01 s]*
/proc/loadavg: 1.98 1.89 1.88 6/218 28514
/proc/meminfo: memFree=19174956/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13984976 memory=555156 CPUtime=1907.39 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 256170 0 0 0 190502 237 0 0 20 0 15 0 155256386 14320615424 138789 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3496244 138789 3288 1 0 3483478 0
[pid=28444/tid=28445] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=1851.87 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) S 28442 28442 21004 0 -1 1077944384 53318 0 0 0 185176 11 0 0 20 0 15 0 155256387 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949776002880 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13984976 memory=1236 CPUtime=11.04 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) R 28442 28442 21004 0 -1 4202560 18646 0 0 0 1060 44 0 0 20 0 15 0 155256387 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949701851792 139949756461199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13984976 memory=2240 CPUtime=11 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) R 28442 28442 21004 0 -1 4202560 15285 0 0 0 1056 44 0 0 20 0 15 0 155256387 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949700799192 139949753360458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13984976 memory=4128 CPUtime=11.03 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) R 28442 28442 21004 0 -1 4202560 16282 0 0 0 1060 43 0 0 20 0 15 0 155256387 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949699746192 139949756217376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13984976 memory=4126316290023845779 CPUtime=11.02 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) R 28442 28442 21004 0 -1 4202560 15847 0 0 0 1057 45 0 0 20 0 15 0 155256387 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949698693592 139949753360458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13984976 memory=1384 CPUtime=0.78 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 52434 0 0 0 65 13 0 0 20 0 15 0 155256389 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949245961440 139949771773653 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13984976 memory=6740884 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949244909152 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949243856256 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13984976 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13984976 memory=1384 CPUtime=4.67 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) S 28442 28442 21004 0 -1 1077944384 36776 0 0 0 464 3 0 0 20 0 15 0 155256392 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949241751920 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13984976 memory=555016 CPUtime=4.36 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) S 28442 28442 21004 0 -1 1077944384 32089 0 0 0 432 4 0 0 20 0 15 0 155256392 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949240699120 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=0.91 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) S 28442 28442 21004 0 -1 1077944384 12855 0 0 0 88 3 0 0 20 0 15 0 155256392 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949239646320 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13984976 memory=4128 CPUtime=0.62 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1247 0 0 0 29 33 0 0 20 0 15 0 155256392 14320615424 138789 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 1907.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 556540 KiB
[startup+1864.8 s]
/proc/loadavg: 1.98 1.89 1.88 6/218 28514
/proc/meminfo: memFree=19174956/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13984976 memory=555168 CPUtime=1908.32 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 256268 0 0 0 190595 237 0 0 20 0 15 0 155256386 14320615424 138792 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3496244 138792 3288 1 0 3483478 0
[pid=28444/tid=28445] ppid=28442 vsize=13984976 memory=1384 CPUtime=1852.6 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 53320 0 0 0 185249 11 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949776002768 139949383010415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13984976 memory=555168 CPUtime=11.09 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 18654 0 0 0 1065 44 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13984976 memory=2200 CPUtime=11.05 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 15285 0 0 0 1061 44 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=11.07 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 16286 0 0 0 1064 43 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13984976 memory=1004 CPUtime=11.07 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 15854 0 0 0 1062 45 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13984976 memory=5788 CPUtime=0.79 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 52511 0 0 0 66 13 0 0 20 0 15 0 155256389 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949244909152 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949243856256 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13984976 memory=1728 CPUtime=4.67 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) S 28442 28442 21004 0 -1 1077944384 36776 0 0 0 464 3 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949241751920 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13984976 memory=1420 CPUtime=4.36 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) S 28442 28442 21004 0 -1 1077944384 32089 0 0 0 432 4 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949240699120 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13984976 memory=11108 CPUtime=0.91 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) S 28442 28442 21004 0 -1 1077944384 12855 0 0 0 88 3 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949239646320 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13984976 memory=1952 CPUtime=0.62 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1247 0 0 0 29 33 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 1908.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 556552 KiB
[startup+1865 s]*
/proc/loadavg: 1.98 1.89 1.88 3/218 28514
/proc/meminfo: memFree=19174956/32770624 swapFree=67108860/67108860
[pid=28442] ppid=28439 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28442/stat : 28442 (xcsp3-exec) S 28439 28442 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155256386 9740288 346 33554432000 4194304 5098028 140730668738704 140730668736808 139875131064956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15839232 140730668745838 140730668746043 140730668746043 140730668748779 0
/proc/28442/statm: 2378 346 289 221 0 87 0
[pid=28444] ppid=28442 vsize=13984976 memory=555168 CPUtime=1908.53 cores=1,3,5,7
/proc/28444/stat : 28444 (java) S 28442 28442 21004 0 -1 1077944320 256268 0 0 0 190616 237 0 0 20 0 15 0 155256386 14320615424 138792 33554432000 4194304 4196468 140728867906528 140728867889072 139949771763447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
/proc/28444/statm: 3496244 138792 3288 1 0 3483478 0
[pid=28444/tid=28445] ppid=28442 vsize=13984976 memory=6791534058613427641 CPUtime=1852.81 cores=1,3,5,7
/proc/28444/task/28445/stat : 28445 (java) R 28442 28442 21004 0 -1 4202560 53320 0 0 0 185270 11 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949776002768 139949384547125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28446] ppid=28442 vsize=13984976 memory=4126316290023845779 CPUtime=11.09 cores=1,3,5,7
/proc/28444/task/28446/stat : 28446 (java) S 28442 28442 21004 0 -1 1077944384 18654 0 0 0 1065 44 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949701851792 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28447] ppid=28442 vsize=13984976 memory=7379263890904867944 CPUtime=11.05 cores=1,3,5,7
/proc/28444/task/28447/stat : 28447 (java) S 28442 28442 21004 0 -1 1077944384 15285 0 0 0 1061 44 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949700798992 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28448] ppid=28442 vsize=13984976 memory=7379263890904867944 CPUtime=11.07 cores=1,3,5,7
/proc/28444/task/28448/stat : 28448 (java) S 28442 28442 21004 0 -1 1077944384 16286 0 0 0 1064 43 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949699746192 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28449] ppid=28442 vsize=13984976 memory=7379263890904867944 CPUtime=11.07 cores=1,3,5,7
/proc/28444/task/28449/stat : 28449 (java) S 28442 28442 21004 0 -1 1077944384 15854 0 0 0 1062 45 0 0 20 0 15 0 155256387 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949698693392 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28450] ppid=28442 vsize=13984976 memory=7379263890904867944 CPUtime=0.79 cores=1,3,5,7
/proc/28444/task/28450/stat : 28450 (java) S 28442 28442 21004 0 -1 1077944384 52511 0 0 0 66 13 0 0 20 0 15 0 155256389 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949245963120 139949771774594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28451] ppid=28442 vsize=13984976 memory=7091030211925993792 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28451/stat : 28451 (java) S 28442 28442 21004 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949244909152 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28452] ppid=28442 vsize=13984976 memory=7234021608571168870 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28452/stat : 28452 (java) S 28442 28442 21004 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 155256389 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949243856256 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28453] ppid=28442 vsize=13984976 memory=7234021608571168870 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28453/stat : 28453 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949242804560 139949771782043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28454] ppid=28442 vsize=13984976 memory=7738420458966770280 CPUtime=4.67 cores=1,3,5,7
/proc/28444/task/28454/stat : 28454 (java) S 28442 28442 21004 0 -1 1077944384 36776 0 0 0 464 3 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949241751920 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28455] ppid=28442 vsize=13984976 memory=7091030211925993792 CPUtime=4.36 cores=1,3,5,7
/proc/28444/task/28455/stat : 28455 (java) S 28442 28442 21004 0 -1 1077944384 32089 0 0 0 432 4 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949240699120 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28456] ppid=28442 vsize=13984976 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/28444/task/28456/stat : 28456 (java) S 28442 28442 21004 0 -1 1077944384 12855 0 0 0 88 3 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949239646320 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28457] ppid=28442 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28444/task/28457/stat : 28457 (java) S 28442 28442 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949238593760 139949771773653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
[pid=28444/tid=28458] ppid=28442 vsize=13984976 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/28444/task/28458/stat : 28458 (java) S 28442 28442 21004 0 -1 1077944384 1247 0 0 0 29 33 0 0 20 0 15 0 155256392 14320615424 138792 33554432000 4194304 4196468 140728867906528 139949237542064 139949771774594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140728867914903 140728867915079 140728867915079 140728867917775 0
Current children cumulated CPU time: 1908.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 556552 KiB
Child status: 0
Real time (s): 1865.08
CPU time (s): 1908.61
CPU user time (s): 1906.22
CPU system time (s): 2.38666
CPU usage (%): 102.334
Max. virtual memory (cumulated for all children) (KiB): 13996532
Max. memory (cumulated for all children) (KiB): 694316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1906.22
system time used= 2.38666
maximum resident set size= 693044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52345
involuntary context switches= 1478
# summary of solver processes directly reported to runsolver:
# pid: 28442
# total CPU time (s): 1908.61
# total CPU user time (s): 1906.22
# total CPU system time (s): 2.38666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3759 second user time and 17.3897 second system time
The end