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 (9497 MiB free)
memory of node 1: 16384 MiB (10237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292435-1532538544/watcher-4292435-1532538544 -o /tmp/evaluation-result-4292435-1532538544/solver-4292435-1532538544 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 1045902253 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292435-1532538544.xml
running on 4 cores: 1,3,5,7
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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=30374, runsolver pid=30371
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 1.83 1.81 1.77 3/217 30390
/proc/meminfo: memFree=20191840/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14082840 memory=28560 CPUtime=0.12 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 5557 0 0 0 11 1 0 0 20 0 15 0 71417584 14420828160 7140 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3520710 7140 2971 1 0 3483008 0
[pid=30376/tid=30377] ppid=30374 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 3578 0 0 0 8 1 0 0 20 0 15 0 71417585 14420828160 7140 33554432000 4194304 4196468 140732449470928 139994034710560 139993666228545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14082840 memory=3472468756256539856 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14082840 memory=140627361388160 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71417587 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71417587 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71417588 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14082840 memory=140627361388160 CPUtime=0.01 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) R 30374 30374 27722 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 15 0 71417590 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993364074704 139994030493078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14082840 memory=140627361388160 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 7140 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30016 KiB
[startup+0.210297 s]*
/proc/loadavg: 1.83 1.81 1.77 4/217 30390
/proc/meminfo: memFree=20179916/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14082840 memory=40948 CPUtime=0.33 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 8307 0 0 0 31 2 0 0 20 0 15 0 71417584 14420828160 10237 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3520710 10237 3189 1 0 3483008 0
[pid=30376/tid=30377] ppid=30374 vsize=14082840 memory=5854518564242424225 CPUtime=0.19 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) D 30374 30374 27722 0 -1 1077944384 5442 0 0 0 18 1 0 0 20 0 15 0 71417585 14420828160 10237 33554432000 4194304 4196468 140732449470928 139994034705312 139994023160365 0 4 0 16800975 18446744072101625380 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14082840 memory=3472468756256539856 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 10237 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14082840 memory=140627361388160 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 10237 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 10237 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71417586 14420828160 10237 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14082872 memory=140627361388160 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71417587 14420860928 10237 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14082872 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71417587 14420860928 10237 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14082872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71417588 14420860928 10292 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 10292 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 71417590 14420828160 10292 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 71417590 14420828160 10292 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14082840 memory=140627361388160 CPUtime=0.07 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) S 30374 30374 27722 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 15 0 71417590 14420828160 10292 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 10292 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14082840 memory=140627361388160 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417590 14420828160 10292 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42404 KiB
[startup+0.310535 s]*
/proc/loadavg: 1.83 1.81 1.77 3/217 30390
/proc/meminfo: memFree=20173588/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14087096 memory=47788 CPUtime=0.51 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 9115 0 0 0 48 3 0 0 20 0 15 0 71417584 14425186304 11947 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3521774 11947 3224 1 0 3483008 0
[pid=30376/tid=30377] ppid=30374 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 6167 0 0 0 27 2 0 0 20 0 15 0 71417585 14425186304 11947 33554432000 4194304 4196468 140732449470928 139994034712256 139994014561630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14087096 memory=3472468756256539856 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14087096 memory=140627361388160 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14087096 memory=9 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14087096 memory=140627228633119 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71417586 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14087096 memory=281254457227008 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71417587 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14087096 memory=140627228610063 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71417587 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14087096 memory=281254590007392 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71417588 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14087096 memory=140627228614671 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 554 0 0 0 4 0 0 0 20 0 15 0 71417590 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 15 0 71417590 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) S 30374 30374 27722 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 71417590 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417590 14425186304 11947 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49244 KiB
[startup+0.702105 s]
/proc/loadavg: 1.83 1.81 1.77 6/217 30390
/proc/meminfo: memFree=20144244/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14089220 memory=98952 CPUtime=1.76 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 12786 0 0 0 170 6 0 0 20 0 15 0 71417584 14427361280 24738 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3522305 24738 3333 1 0 3483520 0
[pid=30376/tid=30377] ppid=30374 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 6995 0 0 0 63 4 0 0 20 0 15 0 71417585 14427361280 24738 33554432000 4194304 4196468 140732449470928 139994034718576 139994030493078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417586 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71417586 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71417587 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71417587 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71417588 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14089220 memory=21540 CPUtime=0.34 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) R 30374 30374 27722 0 -1 4202560 1422 0 0 0 34 0 0 0 20 0 15 0 71417590 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993366182768 139994016511050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14089220 memory=1296 CPUtime=0.32 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) R 30374 30374 27722 0 -1 4202560 1001 0 0 0 32 0 0 0 20 0 15 0 71417590 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993365119440 139994030493078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14089220 memory=2412 CPUtime=0.4 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) R 30374 30374 27722 0 -1 1077944384 2061 0 0 0 39 1 0 0 20 0 15 0 71417590 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71417590 14427361280 24738 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 100408 KiB
[startup+1.50083 s]
/proc/loadavg: 1.83 1.81 1.77 5/217 30390
/proc/meminfo: memFree=20112172/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14091268 memory=196044 CPUtime=12.69 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 24364 0 0 0 1258 11 0 0 20 0 15 0 71417584 14429458432 49011 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3522817 49011 3388 1 0 3484032 0
[pid=30376/tid=30377] ppid=30374 vsize=14091268 memory=667680 CPUtime=9.56 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 8831 0 0 0 950 6 0 0 20 0 15 0 71417585 14429458432 49011 33554432000 4194304 4196468 140732449470928 139994034716672 139993671797383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14091268 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14091268 memory=281254457222928 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14091268 memory=281254457222992 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14091268 memory=281254457223056 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14091268 memory=281254457223120 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14091268 memory=281254457223184 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14091268 memory=281254457385584 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 71417588 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14091268 memory=281254457385648 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14091268 memory=281254457385712 CPUtime=1.22 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 4188 0 0 0 122 0 0 0 20 0 15 0 71417590 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14091268 memory=281254457385776 CPUtime=1.25 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 4091 0 0 0 124 1 0 0 20 0 15 0 71417590 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14091268 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) S 30374 30374 27722 0 -1 1077944384 3967 0 0 0 57 1 0 0 20 0 15 0 71417590 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14091268 memory=152132 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 49011 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 197500 KiB
[startup+10.4007 s]
/proc/loadavg: 1.86 1.81 1.77 3/217 30390
/proc/meminfo: memFree=20016876/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14091268 memory=204280 CPUtime=13.54 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 26630 0 0 0 1341 13 0 0 20 0 15 0 71417584 14429458432 51070 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3522817 51070 3388 1 0 3484032 0
[pid=30376/tid=30377] ppid=30374 vsize=14091268 memory=0 CPUtime=10.35 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 9015 0 0 0 1029 6 0 0 20 0 15 0 71417585 14429458432 51070 33554432000 4194304 4196468 140732449470928 139994034719328 139993670878016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14091268 memory=281253048131837 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1089 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14091268 memory=21540 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14091268 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 899 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14091268 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14091268 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14091268 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 71417588 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14091268 memory=196044 CPUtime=1.23 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 4434 0 0 0 123 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14091268 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 4521 0 0 0 126 1 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14091268 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) S 30374 30374 27722 0 -1 1077944384 3985 0 0 0 57 1 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 13.54 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 205736 KiB
[startup+11.2007 s]
/proc/loadavg: 1.86 1.81 1.77 3/217 30390
/proc/meminfo: memFree=20017000/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14091268 memory=204280 CPUtime=14.34 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 26664 0 0 0 1421 13 0 0 20 0 15 0 71417584 14429458432 51070 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3522817 51070 3388 1 0 3484032 0
[pid=30376/tid=30377] ppid=30374 vsize=14091268 memory=6791534058613427641 CPUtime=11.15 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 9044 0 0 0 1109 6 0 0 20 0 15 0 71417585 14429458432 51070 33554432000 4194304 4196468 140732449470928 139994034716704 139993672197810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14091268 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14091268 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1089 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14091268 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14091268 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 899 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14091268 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14091268 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14091268 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 71417588 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14091268 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14091268 memory=15872 CPUtime=1.23 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 4436 0 0 0 123 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14091268 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 4524 0 0 0 126 1 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14091268 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) S 30374 30374 27722 0 -1 1077944384 3985 0 0 0 57 1 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 205736 KiB
[startup+11.4007 s]
/proc/loadavg: 1.86 1.81 1.77 3/217 30390
/proc/meminfo: memFree=20017000/32770624 swapFree=67108860/67108860
[pid=30374] ppid=30371 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (xcsp3-exec) S 30371 30374 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 71417584 115843072 364 33554432000 4194304 5098028 140732806010032 140732806008136 140219077313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37572608 140732806018106 140732806018308 140732806018308 140732806021066 0
/proc/30374/statm: 28282 364 306 221 0 87 0
[pid=30376] ppid=30374 vsize=14091268 memory=204280 CPUtime=14.54 cores=1,3,5,7
/proc/30376/stat : 30376 (java) S 30374 30374 27722 0 -1 1077944320 26667 0 0 0 1441 13 0 0 20 0 15 0 71417584 14429458432 51070 33554432000 4194304 4196468 140732449470928 140732449453472 139994030481143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
/proc/30376/statm: 3522817 51070 3388 1 0 3484032 0
[pid=30376/tid=30377] ppid=30374 vsize=14091268 memory=0 CPUtime=11.35 cores=1,3,5,7
/proc/30376/task/30377/stat : 30377 (java) R 30374 30374 27722 0 -1 4202560 9047 0 0 0 1129 6 0 0 20 0 15 0 71417585 14429458432 51070 33554432000 4194304 4196468 140732449470928 139994034716704 139993672637773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30378] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30378/stat : 30378 (java) S 30374 30374 27722 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993991441552 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30379] ppid=30374 vsize=14091268 memory=123 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30379/stat : 30379 (java) S 30374 30374 27722 0 -1 1077944384 1089 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993990388752 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30380] ppid=30374 vsize=14091268 memory=127 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30380/stat : 30380 (java) S 30374 30374 27722 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993624587152 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30381] ppid=30374 vsize=14091268 memory=58 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30381/stat : 30381 (java) S 30374 30374 27722 0 -1 1077944384 899 0 0 0 0 0 0 0 20 0 15 0 71417586 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993623534352 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30382] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30382/stat : 30382 (java) S 30374 30374 27722 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993370392944 139994030492290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30383] ppid=30374 vsize=14091268 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30383/stat : 30383 (java) S 30374 30374 27722 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 71417587 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993369338912 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30384] ppid=30374 vsize=14091268 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30384/stat : 30384 (java) S 30374 30374 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 71417588 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993368286064 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30385] ppid=30374 vsize=14091268 memory=15540717229443787 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30385/stat : 30385 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993367234384 139994030499739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30386] ppid=30374 vsize=14091268 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/30376/task/30386/stat : 30386 (java) S 30374 30374 27722 0 -1 1077944384 4436 0 0 0 123 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993366182768 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30387] ppid=30374 vsize=14091268 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/30376/task/30387/stat : 30387 (java) S 30374 30374 27722 0 -1 1077944384 4524 0 0 0 126 1 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993365129968 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30388] ppid=30374 vsize=14091268 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/30376/task/30388/stat : 30388 (java) S 30374 30374 27722 0 -1 1077944384 3985 0 0 0 57 1 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993364077168 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30389] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30389/stat : 30389 (java) S 30374 30374 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993363024608 139994030491349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
[pid=30376/tid=30390] ppid=30374 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30376/task/30390/stat : 30390 (java) S 30374 30374 27722 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 71417590 14429458432 51070 33554432000 4194304 4196468 140732449470928 139993361971888 139994030492290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 16019456 140732449477761 140732449477937 140732449477937 140732449480655 0
Current children cumulated CPU time: 14.54 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 205736 KiB
Child status: 0
Real time (s): 11.4307
CPU time (s): 14.5986
CPU user time (s): 14.4587
CPU system time (s): 0.13992
CPU usage (%): 127.714
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 205736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4587
system time used= 0.13992
maximum resident set size= 204484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2603
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 30374
# total CPU time (s): 14.5986
# total CPU user time (s): 14.4587
# total CPU system time (s): 0.13992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108118 second user time and 0.130618 second system time
The end