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-4247954-1500691275/watcher-4247954-1500691275 -o /tmp/evaluation-result-4247954-1500691275/solver-4247954-1500691275 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1254188168 HOME/instance-4247954-1500691275.xml
pid=10318
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.97 15.80 13.88 10/271 10321
/proc/meminfo: memFree=30591072/32770624 swapFree=5656/286988
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 15.97 15.80 13.88 10/271 10321
/proc/meminfo: memFree=30591072/32770624 swapFree=5656/286988
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200282 s]
/proc/loadavg: 15.97 15.80 13.88 10/271 10321
/proc/meminfo: memFree=30591072/32770624 swapFree=5656/286988
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300295 s]
/proc/loadavg: 15.97 15.80 13.88 10/271 10321
/proc/meminfo: memFree=30591072/32770624 swapFree=5656/286988
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700202 s]
/proc/loadavg: 15.97 15.80 13.88 10/271 10321
/proc/meminfo: memFree=30591072/32770624 swapFree=5656/286988
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 15.97 15.80 13.88 10/292 10342
/proc/meminfo: memFree=30484732/32770624 swapFree=5656/287016
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[pid=10322] ppid=10321 vsize=13269256 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/10322/stat : 10322 (java) S 10321 10321 7102 0 -1 1077944320 33259 0 0 0 343 9 0 0 20 0 20 0 4395035 13587718144 31400 33554432000 4194304 4196468 140737267302912 140737267285456 139923417517815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
/proc/10322/statm: 3317314 31400 3208 1 0 3304547 0
[pid=10322/tid=10323] ppid=10321 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10323/stat : 10323 (java) R 10321 10321 7102 0 -1 4202560 6480 0 0 0 144 3 0 0 20 0 20 0 4395035 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923421754792 139923008265508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10325] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10325/stat : 10325 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923335998352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10326] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10326/stat : 10326 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923334945552 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10327] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10327/stat : 10327 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923333893264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10328] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10328/stat : 10328 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923332840464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10329] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10329/stat : 10329 (java) S 10321 10321 7102 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923331787152 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10330] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10330/stat : 10330 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923330734352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10331] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10331/stat : 10331 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923329682064 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10332] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10332/stat : 10332 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 31400 33554432000 4194304 4196468 140737267302912 139923328629264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10333] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10333/stat : 10333 (java) S 10321 10321 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4395038 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922543880816 139923417528962 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10334] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10334/stat : 10334 (java) S 10321 10321 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4395039 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922542826784 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10335] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10335/stat : 10335 (java) S 10321 10321 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4395039 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922541774448 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10336] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10336/stat : 10336 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395043 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922540722768 139923417536411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10337] ppid=10321 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10337/stat : 10337 (java) S 10321 10321 7102 0 -1 1077944384 8257 0 0 0 56 1 0 0 20 0 20 0 4395043 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922539669616 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10338] ppid=10321 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10338/stat : 10338 (java) S 10321 10321 7102 0 -1 1077944384 8903 0 0 0 57 1 0 0 20 0 20 0 4395043 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922538616816 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10339] ppid=10321 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10339/stat : 10339 (java) S 10321 10321 7102 0 -1 1077944384 6619 0 0 0 52 1 0 0 20 0 20 0 4395043 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922537564528 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10340] ppid=10321 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10340/stat : 10340 (java) S 10321 10321 7102 0 -1 1077944384 1684 0 0 0 32 0 0 0 20 0 20 0 4395043 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922536511728 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10341] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10341/stat : 10341 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4395044 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922535459680 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10342] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10342/stat : 10342 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4395044 13587718144 31400 33554432000 4194304 4196468 140737267302912 139922534406960 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13278768
[startup+3.10074 s]
/proc/loadavg: 15.97 15.80 13.88 10/292 10342
/proc/meminfo: memFree=30476136/32770624 swapFree=5656/287016
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[pid=10322] ppid=10321 vsize=13269256 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/10322/stat : 10322 (java) S 10321 10321 7102 0 -1 1077944320 34953 0 0 0 510 9 0 0 20 0 20 0 4395035 13587718144 35186 33554432000 4194304 4196468 140737267302912 140737267285456 139923417517815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
/proc/10322/statm: 3317314 35186 3208 1 0 3304547 0
[pid=10322/tid=10323] ppid=10321 vsize=13269256 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10323/stat : 10323 (java) R 10321 10321 7102 0 -1 4202560 6962 0 0 0 304 3 0 0 20 0 20 0 4395035 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923421752376 139923008179136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10325] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10325/stat : 10325 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923335998352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10326] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10326/stat : 10326 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923334945552 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10327] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10327/stat : 10327 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923333893264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10328] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10328/stat : 10328 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923332840464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10329] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10329/stat : 10329 (java) S 10321 10321 7102 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923331787152 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10330] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10330/stat : 10330 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923330734352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10331] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10331/stat : 10331 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923329682064 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10332] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10332/stat : 10332 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 35186 33554432000 4194304 4196468 140737267302912 139923328629264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10333] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10333/stat : 10333 (java) S 10321 10321 7102 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4395038 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922543880816 139923417528962 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10334] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10334/stat : 10334 (java) S 10321 10321 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4395039 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922542826784 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10335] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10335/stat : 10335 (java) S 10321 10321 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4395039 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922541774448 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10336] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10336/stat : 10336 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395043 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922540722768 139923417536411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10337] ppid=10321 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10337/stat : 10337 (java) S 10321 10321 7102 0 -1 1077944384 8318 0 0 0 56 1 0 0 20 0 20 0 4395043 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922539669616 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10338] ppid=10321 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10338/stat : 10338 (java) S 10321 10321 7102 0 -1 1077944384 9026 0 0 0 58 1 0 0 20 0 20 0 4395043 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922538616816 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10339] ppid=10321 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10339/stat : 10339 (java) S 10321 10321 7102 0 -1 1077944384 6669 0 0 0 53 2 0 0 20 0 20 0 4395043 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922537564528 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10340] ppid=10321 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10340/stat : 10340 (java) S 10321 10321 7102 0 -1 1077944384 2618 0 0 0 36 0 0 0 20 0 20 0 4395043 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922536511728 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 6 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10341] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10341/stat : 10341 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4395044 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922535459680 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10342] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10342/stat : 10342 (java) S 10321 10321 7102 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4395044 13587718144 35186 33554432000 4194304 4196468 140737267302912 139922534406960 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 9 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 13278768
[startup+6.30085 s]
/proc/loadavg: 15.41 15.69 13.85 10/292 10342
/proc/meminfo: memFree=30458828/32770624 swapFree=5656/287036
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[pid=10322] ppid=10321 vsize=13269256 CPUtime=8.49 cores=1,3,5,7,9,11,13,15
/proc/10322/stat : 10322 (java) S 10321 10321 7102 0 -1 1077944320 39678 0 0 0 839 10 0 0 20 0 20 0 4395035 13587718144 38698 33554432000 4194304 4196468 140737267302912 140737267285456 139923417517815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
/proc/10322/statm: 3317314 38698 3212 1 0 3304547 0
[pid=10322/tid=10323] ppid=10321 vsize=13269256 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10323/stat : 10323 (java) R 10321 10321 7102 0 -1 4202560 7829 0 0 0 623 4 0 0 20 0 20 0 4395035 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923421752944 139923008264515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10325] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10325/stat : 10325 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923335998352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10326] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10326/stat : 10326 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923334945552 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10327] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10327/stat : 10327 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923333893264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10328] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10328/stat : 10328 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923332840464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10329] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10329/stat : 10329 (java) S 10321 10321 7102 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923331787152 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10330] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10330/stat : 10330 (java) S 10321 10321 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923330734352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10331] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10331/stat : 10331 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923329682064 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10332] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10332/stat : 10332 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395036 13587718144 38698 33554432000 4194304 4196468 140737267302912 139923328629264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10333] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10333/stat : 10333 (java) S 10321 10321 7102 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 4395038 13587718144 38698 33554432000 4194304 4196468 140737267302912 139922543880816 139923417528962 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10334] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10334/stat : 10334 (java) S 10321 10321 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4395039 13587718144 38698 33554432000 4194304 4196468 140737267302912 139922542826784 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10335] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10335/stat : 10335 (java) S 10321 10321 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4395039 13587718144 38698 33554432000 4194304 4196468 140737267302912 139922541774448 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10336] ppid=10321 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10336/stat : 10336 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4395043 13587718144 38698 33554432000 4194304 4196468 140737267302912 139922540722768 139923417536411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
################
# More data... #
################
/proc/10322/task/10338/stat : 10338 (java) S 10321 10321 7102 0 -1 1077944384 14035 0 0 0 112 1 0 0 20 0 21 0 4395043 13655879680 2555146 33554432000 4194304 4196468 140737267302912 139922538608096 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10339] ppid=10321 vsize=13335820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10339/stat : 10339 (java) S 10321 10321 7102 0 -1 1077944384 10985 0 0 0 103 2 0 0 20 0 21 0 4395043 13655879680 2555146 33554432000 4194304 4196468 140737267302912 139922537564528 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10340] ppid=10321 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10340/stat : 10340 (java) S 10321 10321 7102 0 -1 1077944384 7612 0 0 0 58 1 0 0 20 0 21 0 4395043 13655879680 2555146 33554432000 4194304 4196468 140737267302912 139922536511728 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10341] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10341/stat : 10341 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4395044 13655879680 2555146 33554432000 4194304 4196468 140737267302912 139922535459680 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10342] ppid=10321 vsize=13335820 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10342/stat : 10342 (java) S 10321 10321 7102 0 -1 1077944384 1925 0 0 0 11 11 0 0 20 0 21 0 4395044 13655879680 2555146 33554432000 4194304 4196468 140737267302912 139922534406960 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
Current children cumulated CPU time (s) 2314.51
Current children cumulated vsize (KiB) 13345332
[startup+541.201 s]
/proc/loadavg: 15.26 13.74 13.22 19/294 10583
/proc/meminfo: memFree=18149372/32770624 swapFree=5656/287728
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[pid=10322] ppid=10321 vsize=13335820 CPUtime=2317.71 cores=1,3,5,7,9,11,13,15
/proc/10322/stat : 10322 (java) S 10321 10321 7102 0 -1 1077944320 668684 0 0 0 227526 4245 0 0 20 0 21 0 4395035 13655879680 2555156 33554432000 4194304 4196468 140737267302912 140737267285456 139923417517815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
/proc/10322/statm: 3333955 2555156 3273 1 0 3321188 0
[pid=10322/tid=10323] ppid=10321 vsize=13335820 CPUtime=257.72 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10323/stat : 10323 (java) S 10321 10321 7102 0 -1 1077944384 18374 0 0 0 25765 7 0 0 20 0 21 0 4395035 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923421758496 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10325] ppid=10321 vsize=13335820 CPUtime=253.54 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10325/stat : 10325 (java) R 10321 10321 7102 0 -1 4202560 99640 0 0 0 24855 499 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923335998240 139923402514426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10326] ppid=10321 vsize=13335820 CPUtime=252.6 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10326/stat : 10326 (java) R 10321 10321 7102 0 -1 4202560 60621 0 0 0 24712 548 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923334945752 139923402216526 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10327] ppid=10321 vsize=13335820 CPUtime=253.76 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10327/stat : 10327 (java) R 10321 10321 7102 0 -1 4202560 128600 0 0 0 24876 500 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923333893464 139923399071056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10328] ppid=10321 vsize=13335820 CPUtime=253.89 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10328/stat : 10328 (java) R 10321 10321 7102 0 -1 4202560 79394 0 0 0 24868 521 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923332840664 139923401975385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10329] ppid=10321 vsize=13335820 CPUtime=253.1 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10329/stat : 10329 (java) R 10321 10321 7102 0 -1 4202560 46024 0 0 0 24793 517 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923331787352 139923402514426 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10330] ppid=10321 vsize=13335820 CPUtime=253.12 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10330/stat : 10330 (java) R 10321 10321 7102 0 -1 4202560 30670 0 0 0 24773 539 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923330734552 139923402514216 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10331] ppid=10321 vsize=13335820 CPUtime=253.76 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10331/stat : 10331 (java) R 10321 10321 7102 0 -1 4202560 37223 0 0 0 24823 553 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923329682264 139923401975418 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10332] ppid=10321 vsize=13335820 CPUtime=253.59 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10332/stat : 10332 (java) R 10321 10321 7102 0 -1 4202560 44018 0 0 0 24827 532 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923328629464 139923402514308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10333] ppid=10321 vsize=13335820 CPUtime=28 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10333/stat : 10333 (java) S 10321 10321 7102 0 -1 1077944384 73526 0 0 0 2794 6 0 0 20 0 21 0 4395038 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922543879360 139923417528021 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10334] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10334/stat : 10334 (java) S 10321 10321 7102 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 21 0 4395039 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922542826848 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10335] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10335/stat : 10335 (java) S 10321 10321 7102 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 21 0 4395039 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922541774464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10336] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10336/stat : 10336 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922540722768 139923417536411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10337] ppid=10321 vsize=13335820 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10337/stat : 10337 (java) S 10321 10321 7102 0 -1 1077944384 14596 0 0 0 150 2 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922539669664 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10338] ppid=10321 vsize=13335820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10338/stat : 10338 (java) S 10321 10321 7102 0 -1 1077944384 14035 0 0 0 112 1 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922538608096 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10339] ppid=10321 vsize=13335820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10339/stat : 10339 (java) S 10321 10321 7102 0 -1 1077944384 10985 0 0 0 103 2 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922537564288 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10340] ppid=10321 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10340/stat : 10340 (java) S 10321 10321 7102 0 -1 1077944384 7612 0 0 0 58 1 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922536511728 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10341] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10341/stat : 10341 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4395044 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922535459680 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10342] ppid=10321 vsize=13335820 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10342/stat : 10342 (java) S 10321 10321 7102 0 -1 1077944384 1925 0 0 0 11 12 0 0 20 0 21 0 4395044 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922534406960 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10583] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10583/stat : 10583 (java) S 10321 10321 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4449062 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922526396352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
Current children cumulated CPU time (s) 2317.71
Current children cumulated vsize (KiB) 13345332
[startup+541.401 s]
/proc/loadavg: 15.26 13.74 13.22 19/294 10583
/proc/meminfo: memFree=18149372/32770624 swapFree=5656/287728
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[pid=10322] ppid=10321 vsize=13335820 CPUtime=2319.21 cores=1,3,5,7,9,11,13,15
/proc/10322/stat : 10322 (java) S 10321 10321 7102 0 -1 1077944320 668684 0 0 0 227676 4245 0 0 20 0 21 0 4395035 13655879680 2555156 33554432000 4194304 4196468 140737267302912 140737267285456 139923417517815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
/proc/10322/statm: 3333955 2555156 3273 1 0 3321188 0
[pid=10322/tid=10323] ppid=10321 vsize=13335820 CPUtime=257.72 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10323/stat : 10323 (java) S 10321 10321 7102 0 -1 1077944384 18374 0 0 0 25765 7 0 0 20 0 21 0 4395035 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923421758496 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10325] ppid=10321 vsize=13335820 CPUtime=253.73 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10325/stat : 10325 (java) R 10321 10321 7102 0 -1 4202560 99640 0 0 0 24874 499 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923335998240 139923402216560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10326] ppid=10321 vsize=13335820 CPUtime=252.78 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10326/stat : 10326 (java) R 10321 10321 7102 0 -1 4202560 60621 0 0 0 24730 548 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923334945752 139923410146023 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10327] ppid=10321 vsize=13335820 CPUtime=253.94 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10327/stat : 10327 (java) R 10321 10321 7102 0 -1 4202560 128600 0 0 0 24894 500 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923333893464 139923401975418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10328] ppid=10321 vsize=13335820 CPUtime=254.08 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10328/stat : 10328 (java) R 10321 10321 7102 0 -1 4202560 79394 0 0 0 24887 521 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923332840584 139923410146023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10329] ppid=10321 vsize=13335820 CPUtime=253.28 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10329/stat : 10329 (java) R 10321 10321 7102 0 -1 4202560 46024 0 0 0 24811 517 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923331787352 139923402514160 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10330] ppid=10321 vsize=13335820 CPUtime=253.3 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10330/stat : 10330 (java) R 10321 10321 7102 0 -1 4202560 30670 0 0 0 24791 539 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923330734472 139923410146023 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10331] ppid=10321 vsize=13335820 CPUtime=253.95 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10331/stat : 10331 (java) R 10321 10321 7102 0 -1 4202560 37223 0 0 0 24842 553 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923329682264 139923402514435 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10332] ppid=10321 vsize=13335820 CPUtime=253.77 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10332/stat : 10332 (java) R 10321 10321 7102 0 -1 4202560 44018 0 0 0 24845 532 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923328629464 139923402216567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10333] ppid=10321 vsize=13335820 CPUtime=28 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10333/stat : 10333 (java) S 10321 10321 7102 0 -1 1077944384 73526 0 0 0 2794 6 0 0 20 0 21 0 4395038 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922543879360 139923417528021 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10334] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10334/stat : 10334 (java) S 10321 10321 7102 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 21 0 4395039 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922542826848 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10335] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10335/stat : 10335 (java) S 10321 10321 7102 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 21 0 4395039 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922541774464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10336] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10336/stat : 10336 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922540722768 139923417536411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10337] ppid=10321 vsize=13335820 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10337/stat : 10337 (java) S 10321 10321 7102 0 -1 1077944384 14596 0 0 0 150 2 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922539669664 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10338] ppid=10321 vsize=13335820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10338/stat : 10338 (java) S 10321 10321 7102 0 -1 1077944384 14035 0 0 0 112 1 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922538608096 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10339] ppid=10321 vsize=13335820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10339/stat : 10339 (java) S 10321 10321 7102 0 -1 1077944384 10985 0 0 0 103 2 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922537564288 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10340] ppid=10321 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10340/stat : 10340 (java) S 10321 10321 7102 0 -1 1077944384 7612 0 0 0 58 1 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922536511728 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10341] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10341/stat : 10341 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4395044 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922535459680 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10342] ppid=10321 vsize=13335820 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10342/stat : 10342 (java) S 10321 10321 7102 0 -1 1077944384 1925 0 0 0 11 12 0 0 20 0 21 0 4395044 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922534406960 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10583] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10583/stat : 10583 (java) S 10321 10321 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4449062 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922526396352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
Current children cumulated CPU time (s) 2319.21
Current children cumulated vsize (KiB) 13345332
[startup+541.501 s]
/proc/loadavg: 15.26 13.74 13.22 19/294 10583
/proc/meminfo: memFree=18149372/32770624 swapFree=5656/287728
[pid=10321] ppid=10318 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10321/stat : 10321 (xcsp3-exec) S 10318 10321 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4395034 9740288 346 33554432000 4194304 5098028 140730301490448 140730301488552 139848596836988 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34807808 140730301494414 140730301494624 140730301494624 140730301497323 0
/proc/10321/statm: 2378 346 289 221 0 87 0
[pid=10322] ppid=10321 vsize=13335820 CPUtime=2319.54 cores=1,3,5,7,9,11,13,15
/proc/10322/stat : 10322 (java) S 10321 10321 7102 0 -1 1077944320 668684 0 0 0 227709 4245 0 0 20 0 21 0 4395035 13655879680 2555156 33554432000 4194304 4196468 140737267302912 140737267285456 139923417517815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
/proc/10322/statm: 3333955 2555156 3273 1 0 3321188 0
[pid=10322/tid=10323] ppid=10321 vsize=13335820 CPUtime=257.72 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10323/stat : 10323 (java) S 10321 10321 7102 0 -1 1077944384 18374 0 0 0 25765 7 0 0 20 0 21 0 4395035 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923421758496 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10325] ppid=10321 vsize=13335820 CPUtime=253.76 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10325/stat : 10325 (java) S 10321 10321 7102 0 -1 1077944384 99640 0 0 0 24877 499 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923335998352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10326] ppid=10321 vsize=13335820 CPUtime=252.82 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10326/stat : 10326 (java) S 10321 10321 7102 0 -1 1077944384 60621 0 0 0 24734 548 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923334945552 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10327] ppid=10321 vsize=13335820 CPUtime=253.98 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10327/stat : 10327 (java) S 10321 10321 7102 0 -1 1077944384 128600 0 0 0 24898 500 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923333893264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10328] ppid=10321 vsize=13335820 CPUtime=254.11 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10328/stat : 10328 (java) S 10321 10321 7102 0 -1 1077944384 79394 0 0 0 24890 521 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923332840464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10329] ppid=10321 vsize=13335820 CPUtime=253.32 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10329/stat : 10329 (java) S 10321 10321 7102 0 -1 1077944384 46024 0 0 0 24815 517 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923331787152 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10330] ppid=10321 vsize=13335820 CPUtime=253.33 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10330/stat : 10330 (java) S 10321 10321 7102 0 -1 1077944384 30670 0 0 0 24794 539 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923330734352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10331] ppid=10321 vsize=13335820 CPUtime=253.98 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10331/stat : 10331 (java) S 10321 10321 7102 0 -1 1077944384 37223 0 0 0 24845 553 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923329682064 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10332] ppid=10321 vsize=13335820 CPUtime=253.8 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10332/stat : 10332 (java) S 10321 10321 7102 0 -1 1077944384 44018 0 0 0 24848 532 0 0 20 0 21 0 4395036 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139923328629264 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10333] ppid=10321 vsize=13335820 CPUtime=28.07 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10333/stat : 10333 (java) R 10321 10321 7102 0 -1 4202560 73526 0 0 0 2801 6 0 0 20 0 21 0 4395038 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922543879248 139923395887995 0 0 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10334] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10334/stat : 10334 (java) S 10321 10321 7102 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 21 0 4395039 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922542826848 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10335] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10335/stat : 10335 (java) S 10321 10321 7102 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 21 0 4395039 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922541774464 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10336] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10336/stat : 10336 (java) S 10321 10321 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922540722768 139923417536411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10337] ppid=10321 vsize=13335820 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10337/stat : 10337 (java) S 10321 10321 7102 0 -1 1077944384 14596 0 0 0 150 2 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922539669664 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10338] ppid=10321 vsize=13335820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10338/stat : 10338 (java) S 10321 10321 7102 0 -1 1077944384 14035 0 0 0 112 1 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922538608096 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10339] ppid=10321 vsize=13335820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10339/stat : 10339 (java) S 10321 10321 7102 0 -1 1077944384 10985 0 0 0 103 2 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922537564288 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10340] ppid=10321 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10340/stat : 10340 (java) S 10321 10321 7102 0 -1 1077944384 7612 0 0 0 58 1 0 0 20 0 21 0 4395043 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922536511728 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10341] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10341/stat : 10341 (java) S 10321 10321 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4395044 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922535459680 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10342] ppid=10321 vsize=13335820 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10342/stat : 10342 (java) S 10321 10321 7102 0 -1 1077944384 1925 0 0 0 11 12 0 0 20 0 21 0 4395044 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922534406960 139923417528962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
[pid=10322/tid=10583] ppid=10321 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10322/task/10583/stat : 10583 (java) S 10321 10321 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4449062 13655879680 2555156 33554432000 4194304 4196468 140737267302912 139922526396352 139923417528021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32964608 140737267311804 140737267311980 140737267311980 140737267314639 0
Current children cumulated CPU time (s) 2319.54
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 541.601
CPU time (s): 2319.64
CPU user time (s): 2277.12
CPU system time (s): 42.5181
CPU usage (%): 428.294
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2277.12
system time used= 42.5181
maximum resident set size= 10220868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32941
involuntary context switches= 158837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53086 second user time and 5.44009 second system time
The end