runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254068-1501615753/watcher-4254068-1501615753 -o /tmp/evaluation-result-4254068-1501615753/solver-4254068-1501615753 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 64586382 HOME/instance-4254068-1501615753.xml
pid=7361
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.03 1.97 3/198 7364
/proc/meminfo: memFree=31893828/32770624 swapFree=0/162948
[pid=7364] ppid=7361 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (runsolver) D 7361 7364 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3485857 24240128 106 18446744073709551615 4194304 4338465 140723459262848 140723459260488 140463146304215 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 28786688 140723459264608 140723459265095 140723459265095 140723459268554 0
/proc/7364/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.13 2.03 1.97 3/198 7364
/proc/meminfo: memFree=31893828/32770624 swapFree=0/162948
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.205663 s]
/proc/loadavg: 2.13 2.03 1.97 3/198 7364
/proc/meminfo: memFree=31893828/32770624 swapFree=0/162948
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300319 s]
/proc/loadavg: 2.13 2.03 1.97 3/198 7364
/proc/meminfo: memFree=31893828/32770624 swapFree=0/162948
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701165 s]
/proc/loadavg: 2.13 2.03 1.97 3/198 7364
/proc/meminfo: memFree=31893828/32770624 swapFree=0/162948
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 2.13 2.03 1.97 5/214 7380
/proc/meminfo: memFree=31793888/32770624 swapFree=0/162976
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 39256 0 0 0 356 9 0 0 20 0 15 0 3485864 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 30922 3172 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 8650 0 0 0 130 4 0 0 20 0 15 0 3485864 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139898021136256 139897640579248 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3485866 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) R 7364 7364 3187 0 -1 4202560 9899 0 0 0 100 1 0 0 20 0 15 0 3485869 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897558327728 139897998422705 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) R 7364 7364 3187 0 -1 4202560 17415 0 0 0 100 2 0 0 20 0 15 0 3485869 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897557279584 139897998442096 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 1984 0 0 0 25 0 0 0 20 0 15 0 3485869 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485876 14316269568 30922 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 13990244
[startup+3.10071 s]
/proc/loadavg: 2.13 2.03 1.97 4/214 7380
/proc/meminfo: memFree=31764832/32770624 swapFree=0/162976
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=5.93 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 40823 0 0 0 583 10 0 0 20 0 15 0 3485864 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 52221 3181 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 9103 0 0 0 289 5 0 0 20 0 15 0 3485864 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139898021136160 139897640607822 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3485866 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) S 7364 7364 3187 0 -1 1077944384 10493 0 0 0 133 1 0 0 20 0 15 0 3485869 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897558345840 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) S 7364 7364 3187 0 -1 1077944384 17703 0 0 0 132 2 0 0 20 0 15 0 3485869 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897557293040 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 2169 0 0 0 27 0 0 0 20 0 15 0 3485869 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3485876 14316269568 52221 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13990244
[startup+6.30063 s]
/proc/loadavg: 2.12 2.03 1.97 3/214 7381
/proc/meminfo: memFree=31697476/32770624 swapFree=0/162988
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=9.26 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 42734 0 0 0 915 11 0 0 20 0 15 0 3485864 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 55723 3210 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 9156 0 0 0 608 5 0 0 20 0 15 0 3485864 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139898021138032 139897640602385 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 3485865 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 3485866 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) S 7364 7364 3187 0 -1 1077944384 10534 0 0 0 138 1 0 0 20 0 15 0 3485869 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897558345840 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) S 7364 7364 3187 0 -1 1077944384 17839 0 0 0 137 2 0 0 20 0 15 0 3485869 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897557293040 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 2841 0 0 0 29 0 0 0 20 0 15 0 3485869 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 3485876 14316269568 55723 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.03 2.02 1.97 3/214 7381
/proc/meminfo: memFree=31700292/32770624 swapFree=0/162996
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=15.74 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 45297 0 0 0 1562 12 0 0 20 0 15 0 3485864 14316269568 56670 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 56670 3212 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 9745 0 0 0 1246 5 0 0 20 0 15 0 3485864 14316269568 56670 18446744073709551615 4194304 4196468 140725609883936 139898021137520 139897641961924 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 15 0 3485865 14316269568 56670 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 3485865 14316269568 56670 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
################
# More data... #
################
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 3947 0 0 0 30 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 495 0 0 0 0 1 0 0 20 0 15 0 3485876 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (KiB) 13990244
[startup+56.8007 s]
/proc/loadavg: 1.75 1.95 1.95 3/214 7381
/proc/meminfo: memFree=31687576/32770624 swapFree=0/163028
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=60.43 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 55577 0 0 0 6024 19 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 52026 3212 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=56.35 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 11705 0 0 0 5629 6 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139898021137632 139897641961432 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 574 0 0 0 9 2 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 423 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 1164 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 637 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 1146 0 0 0 10 1 0 0 20 0 15 0 3485866 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) S 7364 7364 3187 0 -1 1077944384 14080 0 0 0 158 1 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897558345840 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) S 7364 7364 3187 0 -1 1077944384 20053 0 0 0 148 2 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897557293040 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 3947 0 0 0 30 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 495 0 0 0 0 1 0 0 20 0 15 0 3485876 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 60.43
Current children cumulated vsize (KiB) 13990244
[startup+57.6008 s]
/proc/loadavg: 1.75 1.95 1.95 3/214 7381
/proc/meminfo: memFree=31687576/32770624 swapFree=0/163036
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=61.23 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 55581 0 0 0 6104 19 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 52026 3212 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=57.15 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 11707 0 0 0 5709 6 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139898021138512 139897642351988 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 575 0 0 0 10 2 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 423 0 0 0 11 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 1164 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 638 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 1146 0 0 0 11 1 0 0 20 0 15 0 3485866 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) S 7364 7364 3187 0 -1 1077944384 14080 0 0 0 158 1 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897558345840 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) S 7364 7364 3187 0 -1 1077944384 20053 0 0 0 148 2 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897557293040 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 3947 0 0 0 30 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 495 0 0 0 0 1 0 0 20 0 15 0 3485876 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 61.23
Current children cumulated vsize (KiB) 13990244
[startup+57.8007 s]
/proc/loadavg: 1.75 1.95 1.95 3/214 7381
/proc/meminfo: memFree=31687576/32770624 swapFree=0/163036
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=61.43 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 55581 0 0 0 6124 19 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 52026 3212 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=57.35 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 11707 0 0 0 5729 6 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139898021138512 139897641081125 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 575 0 0 0 10 2 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 423 0 0 0 11 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 1164 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 638 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 1146 0 0 0 11 1 0 0 20 0 15 0 3485866 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) S 7364 7364 3187 0 -1 1077944384 14080 0 0 0 158 1 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897558345840 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) S 7364 7364 3187 0 -1 1077944384 20053 0 0 0 148 2 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897557293040 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 3947 0 0 0 30 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 495 0 0 0 0 1 0 0 20 0 15 0 3485876 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 61.43
Current children cumulated vsize (KiB) 13990244
[startup+57.9007 s]
/proc/loadavg: 1.75 1.95 1.95 3/214 7381
/proc/meminfo: memFree=31687576/32770624 swapFree=0/163036
[pid=7364] ppid=7361 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7364/stat : 7364 (xcsp3-exec) S 7361 7364 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3485857 9740288 345 18446744073709551615 4194304 5098028 140728560530672 140728560528776 139657041932924 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12226560 140728560538014 140728560538216 140728560538216 140728560541675 0
/proc/7364/statm: 2378 345 289 221 0 87 0
[pid=7366] ppid=7364 vsize=13980732 CPUtime=61.53 cores=1,3,5,7
/proc/7366/stat : 7366 (java) S 7364 7364 3187 0 -1 1077944320 55581 0 0 0 6134 19 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 140725609866480 139898016898807 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
/proc/7366/statm: 3495183 52026 3212 1 0 3483484 0
[pid=7366/tid=7367] ppid=7364 vsize=13980732 CPUtime=57.45 cores=1,3,5,7
/proc/7366/task/7367/stat : 7367 (java) R 7364 7364 3187 0 -1 4202560 11707 0 0 0 5739 6 0 0 20 0 15 0 3485864 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139898021138512 139897641961855 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7368] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7368/stat : 7368 (java) S 7364 7364 3187 0 -1 1077944384 575 0 0 0 10 2 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897958844816 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7369] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7369/stat : 7369 (java) S 7364 7364 3187 0 -1 1077944384 423 0 0 0 11 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897957792016 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7370] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7370/stat : 7370 (java) S 7364 7364 3187 0 -1 1077944384 1164 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897615162000 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7371] ppid=7364 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7366/task/7371/stat : 7371 (java) S 7364 7364 3187 0 -1 1077944384 638 0 0 0 10 1 0 0 20 0 15 0 3485865 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897614109200 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7372] ppid=7364 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7366/task/7372/stat : 7372 (java) S 7364 7364 3187 0 -1 1077944384 1146 0 0 0 11 1 0 0 20 0 15 0 3485866 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897562557040 139898016909954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7373] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7373/stat : 7373 (java) S 7364 7364 3187 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897561503008 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7374] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7374/stat : 7374 (java) S 7364 7364 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3485867 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897560450672 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7375] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7375/stat : 7375 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897559398992 139898016917403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7376] ppid=7364 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/7366/task/7376/stat : 7376 (java) S 7364 7364 3187 0 -1 1077944384 14080 0 0 0 158 1 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897558345840 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7377] ppid=7364 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/7366/task/7377/stat : 7377 (java) S 7364 7364 3187 0 -1 1077944384 20053 0 0 0 148 2 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897557293040 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7378] ppid=7364 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/7366/task/7378/stat : 7378 (java) S 7364 7364 3187 0 -1 1077944384 3947 0 0 0 30 0 0 0 20 0 15 0 3485869 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897556240752 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7379] ppid=7364 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7366/task/7379/stat : 7379 (java) S 7364 7364 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3485870 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897555188192 139898016909013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
[pid=7366/tid=7380] ppid=7364 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7366/task/7380/stat : 7380 (java) S 7364 7364 3187 0 -1 1077944384 495 0 0 0 0 1 0 0 20 0 15 0 3485876 14316269568 52026 18446744073709551615 4194304 4196468 140725609883936 139897486699440 139898016909954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37871616 140725609890261 140725609890436 140725609890436 140725609893839 0
Current children cumulated CPU time (s) 61.53
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 57.9557
CPU time (s): 61.5935
CPU user time (s): 61.3928
CPU system time (s): 0.200671
CPU usage (%): 106.277
Max. virtual memory (cumulated for all children) (KiB): 13993016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.3928
system time used= 0.200671
maximum resident set size= 235796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5814
involuntary context switches= 165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.296026 second user time and 0.34623 second system time
The end