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-4247331-1500689991/watcher-4247331-1500689991 -o /tmp/evaluation-result-4247331-1500689991/solver-4247331-1500689991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 208930414 HOME/instance-4247331-1500689991.xml
pid=7178
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: 8.56 4.92 5.79 3/270 7181
/proc/meminfo: memFree=26277380/32770624 swapFree=5804/259276
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[startup+0.100134 s]
/proc/loadavg: 8.56 4.92 5.79 3/270 7181
/proc/meminfo: memFree=26277380/32770624 swapFree=5804/259276
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200362 s]
/proc/loadavg: 8.56 4.92 5.79 3/270 7181
/proc/meminfo: memFree=26277380/32770624 swapFree=5804/259276
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300255 s]
/proc/loadavg: 8.56 4.92 5.79 3/270 7181
/proc/meminfo: memFree=26277380/32770624 swapFree=5804/259276
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70022 s]
/proc/loadavg: 8.56 4.92 5.79 3/270 7181
/proc/meminfo: memFree=26277380/32770624 swapFree=5804/259276
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50087 s]
/proc/loadavg: 8.56 4.92 5.79 6/291 7202
/proc/meminfo: memFree=26052756/32770624 swapFree=5804/259416
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[pid=7182] ppid=7181 vsize=13269256 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/7182/stat : 7182 (java) S 7181 7181 14782 0 -1 1077944320 15779 0 0 0 466 41 0 0 20 0 20 0 4265417 13587718144 92275 33554432000 4194304 4196468 140727321840944 140727321823488 140563361222391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
/proc/7182/statm: 3317314 92275 3237 1 0 3304547 0
[pid=7182/tid=7183] ppid=7181 vsize=13269256 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7183/stat : 7183 (java) R 7181 7181 14782 0 -1 4202560 6852 0 0 0 131 6 0 0 20 0 20 0 4265417 13587718144 92275 33554432000 4194304 4196468 140727321840944 140563365460312 140562960004457 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7185] ppid=7181 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7185/stat : 7185 (java) S 7181 7181 14782 0 -1 1077944384 34 0 0 0 4 3 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140563279702416 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7186] ppid=7181 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7186/stat : 7186 (java) S 7181 7181 14782 0 -1 1077944384 38 0 0 0 4 4 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140563278649616 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7187] ppid=7181 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7187/stat : 7187 (java) S 7181 7181 14782 0 -1 1077944384 67 0 0 0 4 4 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140563277597328 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7188] ppid=7181 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7188/stat : 7188 (java) S 7181 7181 14782 0 -1 1077944384 74 0 0 0 3 4 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140563276544528 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7189] ppid=7181 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7189/stat : 7189 (java) S 7181 7181 14782 0 -1 1077944384 54 0 0 0 4 4 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140563275492240 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7190] ppid=7181 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7190/stat : 7190 (java) S 7181 7181 14782 0 -1 1077944384 36 0 0 0 3 3 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562954971920 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7191] ppid=7181 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7191/stat : 7191 (java) S 7181 7181 14782 0 -1 1077944384 81 0 0 0 6 3 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562953919632 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7192] ppid=7181 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7192/stat : 7192 (java) S 7181 7181 14782 0 -1 1077944384 57 0 0 0 4 3 0 0 20 0 20 0 4265418 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562952866832 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7193] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7193/stat : 7193 (java) S 7181 7181 14782 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 20 0 4265420 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562555041904 140563361233538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7194] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562551883856 140563361240987 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7197] ppid=7181 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7197/stat : 7197 (java) S 7181 7181 14782 0 -1 1077944384 2049 0 0 0 75 0 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562550831728 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7198] ppid=7181 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7198/stat : 7198 (java) S 7181 7181 14782 0 -1 1077944384 1830 0 0 0 98 0 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562549778928 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7199] ppid=7181 vsize=13269256 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7199/stat : 7199 (java) S 7181 7181 14782 0 -1 1077944384 1432 0 0 0 75 1 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562548726640 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7200] ppid=7181 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7200/stat : 7200 (java) R 7181 7181 14782 0 -1 4202560 1671 0 0 0 48 0 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562547673840 140563361243738 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7201] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7201/stat : 7201 (java) S 7181 7181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562546620768 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7202] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7202/stat : 7202 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 92275 33554432000 4194304 4196468 140727321840944 140562545568048 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 13278768
[startup+3.10076 s]
/proc/loadavg: 8.56 4.92 5.79 4/291 7202
/proc/meminfo: memFree=25659468/32770624 swapFree=5804/259416
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[pid=7182] ppid=7181 vsize=13269256 CPUtime=7.61 cores=1,3,5,7,9,11,13,15
/proc/7182/stat : 7182 (java) S 7181 7181 14782 0 -1 1077944320 17324 0 0 0 675 86 0 0 20 0 20 0 4265417 13587718144 285475 33554432000 4194304 4196468 140727321840944 140727321823488 140563361222391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
/proc/7182/statm: 3317314 285475 3248 1 0 3304547 0
[pid=7182/tid=7183] ppid=7181 vsize=13269256 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7183/stat : 7183 (java) S 7181 7181 14782 0 -1 1077944384 7523 0 0 0 272 15 0 0 20 0 20 0 4265417 13587718144 285475 33554432000 4194304 4196468 140727321840944 140563365459328 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7185] ppid=7181 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7185/stat : 7185 (java) R 7181 7181 14782 0 -1 4202560 141 0 0 0 8 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140563279702616 140563346246657 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7186] ppid=7181 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7186/stat : 7186 (java) R 7181 7181 14782 0 -1 4202560 70 0 0 0 7 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140563278649816 140563346250256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7187] ppid=7181 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7187/stat : 7187 (java) R 7181 7181 14782 0 -1 4202560 111 0 0 0 8 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140563277597528 140563354328947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7188] ppid=7181 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7188/stat : 7188 (java) R 7181 7181 14782 0 -1 4202560 111 0 0 0 8 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140563276544728 140563342848336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7189] ppid=7181 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7189/stat : 7189 (java) R 7181 7181 14782 0 -1 4202560 86 0 0 0 8 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140563275492440 140563346246094 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7190] ppid=7181 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7190/stat : 7190 (java) R 7181 7181 14782 0 -1 4202560 86 0 0 0 7 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562954972120 140563346250265 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7191] ppid=7181 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7191/stat : 7191 (java) R 7181 7181 14782 0 -1 4202560 116 0 0 0 10 8 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562953919832 140563342848349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7192] ppid=7181 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7192/stat : 7192 (java) R 7181 7181 14782 0 -1 4202560 88 0 0 0 8 7 0 0 20 0 20 0 4265418 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562952866720 140563354318985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7193] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7193/stat : 7193 (java) S 7181 7181 14782 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 20 0 4265420 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562555040416 140563361232597 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7194] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562551883856 140563361240987 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7197] ppid=7181 vsize=13269256 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7197/stat : 7197 (java) S 7181 7181 14782 0 -1 1077944384 2066 0 0 0 80 1 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562550831728 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7198] ppid=7181 vsize=13269256 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7198/stat : 7198 (java) S 7181 7181 14782 0 -1 1077944384 1865 0 0 0 111 0 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562549778928 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7199] ppid=7181 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7199/stat : 7199 (java) S 7181 7181 14782 0 -1 1077944384 1465 0 0 0 84 1 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562548726640 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7200] ppid=7181 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7200/stat : 7200 (java) S 7181 7181 14782 0 -1 1077944384 1835 0 0 0 57 1 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562547673840 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7201] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7201/stat : 7201 (java) S 7181 7181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562546620768 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7202] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7202/stat : 7202 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 285475 33554432000 4194304 4196468 140727321840944 140562545568048 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 13278768
[startup+6.30088 s]
/proc/loadavg: 8.20 4.90 5.78 3/291 7202
/proc/meminfo: memFree=24117376/32770624 swapFree=5804/259416
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[pid=7182] ppid=7181 vsize=13269256 CPUtime=11.17 cores=1,3,5,7,9,11,13,15
/proc/7182/stat : 7182 (java) S 7181 7181 14782 0 -1 1077944320 18897 0 0 0 1011 106 0 0 20 0 20 0 4265417 13587718144 542072 33554432000 4194304 4196468 140727321840944 140727321823488 140563361222391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
/proc/7182/statm: 3317314 542072 3248 1 0 3304547 0
[pid=7182/tid=7183] ppid=7181 vsize=13269256 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7183/stat : 7183 (java) R 7181 7181 14782 0 -1 4202560 8341 0 0 0 576 28 0 0 20 0 20 0 4265417 13587718144 542072 33554432000 4194304 4196468 140727321840944 140563365456064 140562960016061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7185] ppid=7181 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7185/stat : 7185 (java) S 7181 7181 14782 0 -1 1077944384 157 0 0 0 9 9 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140563279702416 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7186] ppid=7181 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7186/stat : 7186 (java) S 7181 7181 14782 0 -1 1077944384 90 0 0 0 8 8 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140563278649616 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7187] ppid=7181 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7187/stat : 7187 (java) S 7181 7181 14782 0 -1 1077944384 127 0 0 0 10 9 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140563277597328 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7188] ppid=7181 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7188/stat : 7188 (java) S 7181 7181 14782 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140563276544528 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7189] ppid=7181 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7189/stat : 7189 (java) S 7181 7181 14782 0 -1 1077944384 98 0 0 0 9 9 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140563275492240 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7190] ppid=7181 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7190/stat : 7190 (java) S 7181 7181 14782 0 -1 1077944384 113 0 0 0 9 8 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562954971920 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7191] ppid=7181 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7191/stat : 7191 (java) S 7181 7181 14782 0 -1 1077944384 123 0 0 0 11 8 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562953919632 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7192] ppid=7181 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7192/stat : 7192 (java) S 7181 7181 14782 0 -1 1077944384 95 0 0 0 9 8 0 0 20 0 20 0 4265418 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562952866832 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7193] ppid=7181 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7193/stat : 7193 (java) S 7181 7181 14782 0 -1 1077944384 1070 0 0 0 1 0 0 0 20 0 20 0 4265420 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562555041904 140563361233538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7194] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 542072 33554432000 4194304 4196468 140727321840944 140562551883856 140563361240987 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
################
# More data... #
################
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562551883856 140563361240987 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7197] ppid=7181 vsize=13269256 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7197/stat : 7197 (java) S 7181 7181 14782 0 -1 1077944384 9865 0 0 0 248 2 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562550831728 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7198] ppid=7181 vsize=13269256 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7198/stat : 7198 (java) S 7181 7181 14782 0 -1 1077944384 8964 0 0 0 261 1 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562549778928 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7199] ppid=7181 vsize=13269256 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7199/stat : 7199 (java) S 7181 7181 14782 0 -1 1077944384 6642 0 0 0 209 1 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562548726640 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7200] ppid=7181 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7200/stat : 7200 (java) S 7181 7181 14782 0 -1 1077944384 5799 0 0 0 86 2 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562547673840 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7201] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7201/stat : 7201 (java) S 7181 7181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562546620768 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7202] ppid=7181 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7202/stat : 7202 (java) S 7181 7181 14782 0 -1 1077944384 154 0 0 0 4 6 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562545568048 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
Current children cumulated CPU time (s) 277.18
Current children cumulated vsize (KiB) 13278768
[startup+207.601 s]
/proc/loadavg: 2.02 3.34 4.99 3/283 7299
/proc/meminfo: memFree=22153336/32770624 swapFree=5804/259588
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[pid=7182] ppid=7181 vsize=13269256 CPUtime=277.58 cores=1,3,5,7,9,11,13,15
/proc/7182/stat : 7182 (java) S 7181 7181 14782 0 -1 1077944320 108036 0 0 0 26683 1075 0 0 20 0 20 0 4265417 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140727321823488 140563361222391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
/proc/7182/statm: 3317314 1304070 3285 1 0 3304547 0
[pid=7182/tid=7183] ppid=7181 vsize=13269256 CPUtime=198.07 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7183/stat : 7183 (java) R 7181 7181 14782 0 -1 4202560 26094 0 0 0 19760 47 0 0 20 0 20 0 4265417 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140563365460608 140562959968487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7185] ppid=7181 vsize=13269256 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7185/stat : 7185 (java) S 7181 7181 14782 0 -1 1077944384 4752 0 0 0 761 124 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140563279702416 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7186] ppid=7181 vsize=13269256 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7186/stat : 7186 (java) S 7181 7181 14782 0 -1 1077944384 4618 0 0 0 759 127 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140563278649616 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7187] ppid=7181 vsize=13269256 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7187/stat : 7187 (java) S 7181 7181 14782 0 -1 1077944384 4405 0 0 0 769 127 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140563277597328 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7188] ppid=7181 vsize=13269256 CPUtime=8.78 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7188/stat : 7188 (java) S 7181 7181 14782 0 -1 1077944384 4645 0 0 0 752 126 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140563276544528 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7189] ppid=7181 vsize=13269256 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7189/stat : 7189 (java) S 7181 7181 14782 0 -1 1077944384 4772 0 0 0 760 126 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140563275492240 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7190] ppid=7181 vsize=13269256 CPUtime=8.81 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7190/stat : 7190 (java) S 7181 7181 14782 0 -1 1077944384 4696 0 0 0 754 127 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562954971920 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7191] ppid=7181 vsize=13269256 CPUtime=8.89 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7191/stat : 7191 (java) S 7181 7181 14782 0 -1 1077944384 4034 0 0 0 762 127 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562953919632 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7192] ppid=7181 vsize=13269256 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7192/stat : 7192 (java) S 7181 7181 14782 0 -1 1077944384 4954 0 0 0 763 123 0 0 20 0 20 0 4265418 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562952866832 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7193] ppid=7181 vsize=13269256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7193/stat : 7193 (java) S 7181 7181 14782 0 -1 1077944384 12230 0 0 0 26 3 0 0 20 0 20 0 4265420 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562555041904 140563361233538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7194] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 4265421 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562551883856 140563361240987 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7197] ppid=7181 vsize=13269256 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7197/stat : 7197 (java) S 7181 7181 14782 0 -1 1077944384 9865 0 0 0 248 2 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562550831728 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7198] ppid=7181 vsize=13269256 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7198/stat : 7198 (java) S 7181 7181 14782 0 -1 1077944384 8964 0 0 0 261 1 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562549778928 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7199] ppid=7181 vsize=13269256 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7199/stat : 7199 (java) S 7181 7181 14782 0 -1 1077944384 6642 0 0 0 209 1 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562548726640 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7200] ppid=7181 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7200/stat : 7200 (java) S 7181 7181 14782 0 -1 1077944384 5799 0 0 0 86 2 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562547673840 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7201] ppid=7181 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7201/stat : 7201 (java) S 7181 7181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562546620768 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7202] ppid=7181 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7202/stat : 7202 (java) S 7181 7181 14782 0 -1 1077944384 154 0 0 0 4 6 0 0 20 0 20 0 4265425 13587718144 1304070 33554432000 4194304 4196468 140727321840944 140562545568048 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
Current children cumulated CPU time (s) 277.58
Current children cumulated vsize (KiB) 13278768
[startup+208.009 s]
/proc/loadavg: 2.02 3.34 4.99 3/283 7299
/proc/meminfo: memFree=22153328/32770624 swapFree=5804/259588
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[pid=7182] ppid=7181 vsize=13801768 CPUtime=278.35 cores=1,3,5,7,9,11,13,15
/proc/7182/stat : 7182 (java) S 7181 7181 14782 0 -1 1077944320 111888 0 0 0 26759 1076 0 0 20 0 28 0 4265417 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140727321823488 140563361222391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
/proc/7182/statm: 3450442 1304189 3285 1 0 3437675 0
[pid=7182/tid=7183] ppid=7181 vsize=13801768 CPUtime=198.43 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7183/stat : 7183 (java) S 7181 7181 14782 0 -1 1077944384 27394 0 0 0 19796 47 0 0 20 0 28 0 4265417 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140563365463168 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7185] ppid=7181 vsize=13801768 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7185/stat : 7185 (java) S 7181 7181 14782 0 -1 1077944384 4752 0 0 0 761 124 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140563279702416 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7186] ppid=7181 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7186/stat : 7186 (java) S 7181 7181 14782 0 -1 1077944384 4618 0 0 0 759 127 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140563278649616 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7187] ppid=7181 vsize=13801768 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7187/stat : 7187 (java) S 7181 7181 14782 0 -1 1077944384 4405 0 0 0 769 127 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140563277597328 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7188] ppid=7181 vsize=13801768 CPUtime=8.78 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7188/stat : 7188 (java) S 7181 7181 14782 0 -1 1077944384 4645 0 0 0 752 126 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140563276544528 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7189] ppid=7181 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7189/stat : 7189 (java) S 7181 7181 14782 0 -1 1077944384 4772 0 0 0 760 126 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140563275492240 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7190] ppid=7181 vsize=13801768 CPUtime=8.81 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7190/stat : 7190 (java) S 7181 7181 14782 0 -1 1077944384 4696 0 0 0 754 127 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562954971920 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7191] ppid=7181 vsize=13801768 CPUtime=8.89 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7191/stat : 7191 (java) S 7181 7181 14782 0 -1 1077944384 4034 0 0 0 762 127 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562953919632 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7192] ppid=7181 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7192/stat : 7192 (java) S 7181 7181 14782 0 -1 1077944384 4954 0 0 0 763 123 0 0 20 0 28 0 4265418 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562952866832 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7193] ppid=7181 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7193/stat : 7193 (java) S 7181 7181 14782 0 -1 1077944384 12456 0 0 0 27 3 0 0 20 0 28 0 4265420 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562555041904 140563361233538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7194] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4265421 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 4265421 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562551883856 140563361240987 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7197] ppid=7181 vsize=13801768 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7197/stat : 7197 (java) S 7181 7181 14782 0 -1 1077944384 10100 0 0 0 250 2 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562550831728 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7198] ppid=7181 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7198/stat : 7198 (java) S 7181 7181 14782 0 -1 1077944384 9477 0 0 0 265 1 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562549778928 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7199] ppid=7181 vsize=13801768 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7199/stat : 7199 (java) S 7181 7181 14782 0 -1 1077944384 6988 0 0 0 213 1 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562548726640 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7200] ppid=7181 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7200/stat : 7200 (java) R 7181 7181 14782 0 -1 4202560 6655 0 0 0 89 2 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562547670464 140563339928237 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7201] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7201/stat : 7201 (java) S 7181 7181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562546620768 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7202] ppid=7181 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7202/stat : 7202 (java) S 7181 7181 14782 0 -1 1077944384 154 0 0 0 4 6 0 0 20 0 28 0 4265425 14133010432 1304189 33554432000 4194304 4196468 140727321840944 140562545568048 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
Current children cumulated CPU time (s) 278.35
Current children cumulated vsize (KiB) 13811280
[startup+208.101 s]
/proc/loadavg: 2.02 3.34 4.99 3/283 7299
/proc/meminfo: memFree=22153328/32770624 swapFree=5804/259588
[pid=7181] ppid=7178 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7181/stat : 7181 (xcsp3-exec) S 7178 7181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4265416 9740288 346 33554432000 4194304 5098028 140735701920960 140735701919064 140413945864828 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35409920 140735701927055 140735701927264 140735701927264 140735701929963 0
/proc/7181/statm: 2378 346 289 221 0 87 0
[pid=7182] ppid=7181 vsize=13801768 CPUtime=278.97 cores=1,3,5,7,9,11,13,15
/proc/7182/stat : 7182 (java) S 7181 7181 14782 0 -1 1077944320 112620 0 0 0 26821 1076 0 0 20 0 19 0 4265417 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140727321823488 140563361222391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
/proc/7182/statm: 3450442 1304274 3287 1 0 3437675 0
[pid=7182/tid=7183] ppid=7181 vsize=13801768 CPUtime=198.43 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7183/stat : 7183 (java) S 7181 7181 14782 0 -1 1077944384 27426 0 0 0 19796 47 0 0 20 0 19 0 4265417 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140563365465232 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7185] ppid=7181 vsize=13801768 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7185/stat : 7185 (java) S 7181 7181 14782 0 -1 1077944384 4752 0 0 0 761 124 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140563279702416 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7186] ppid=7181 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7186/stat : 7186 (java) S 7181 7181 14782 0 -1 1077944384 4618 0 0 0 759 127 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140563278649616 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7187] ppid=7181 vsize=13801768 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7187/stat : 7187 (java) S 7181 7181 14782 0 -1 1077944384 4405 0 0 0 769 127 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140563277597328 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7188] ppid=7181 vsize=13801768 CPUtime=8.78 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7188/stat : 7188 (java) S 7181 7181 14782 0 -1 1077944384 4645 0 0 0 752 126 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140563276544528 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7189] ppid=7181 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7189/stat : 7189 (java) S 7181 7181 14782 0 -1 1077944384 4772 0 0 0 760 126 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140563275492240 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7190] ppid=7181 vsize=13801768 CPUtime=8.81 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7190/stat : 7190 (java) S 7181 7181 14782 0 -1 1077944384 4696 0 0 0 754 127 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562954971920 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7191] ppid=7181 vsize=13801768 CPUtime=8.89 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7191/stat : 7191 (java) S 7181 7181 14782 0 -1 1077944384 4034 0 0 0 762 127 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562953919632 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7192] ppid=7181 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7192/stat : 7192 (java) S 7181 7181 14782 0 -1 1077944384 4954 0 0 0 763 123 0 0 20 0 19 0 4265418 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562952866832 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7193] ppid=7181 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7193/stat : 7193 (java) S 7181 7181 14782 0 -1 1077944384 12456 0 0 0 27 3 0 0 20 0 19 0 4265420 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562555042112 140563361233538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7194] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7194/stat : 7194 (java) S 7181 7181 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 4265421 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562553987936 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7195] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7195/stat : 7195 (java) S 7181 7181 14782 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 4265421 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562552935552 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7196] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7196/stat : 7196 (java) S 7181 7181 14782 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 4265425 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562551883568 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7197] ppid=7181 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7197/stat : 7197 (java) S 7181 7181 14782 0 -1 1077944384 10365 0 0 0 255 2 0 0 20 0 19 0 4265425 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562550831728 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7198] ppid=7181 vsize=13801768 CPUtime=2.68 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7198/stat : 7198 (java) S 7181 7181 14782 0 -1 1077944384 9493 0 0 0 267 1 0 0 20 0 19 0 4265425 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562549778928 140563361233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7199] ppid=7181 vsize=13801768 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7199/stat : 7199 (java) S 7181 7181 14782 0 -1 1077944384 7232 0 0 0 219 1 0 0 20 0 19 0 4265425 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562548711152 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7200] ppid=7181 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7200/stat : 7200 (java) S 7181 7181 14782 0 -1 1077944384 6730 0 0 0 92 2 0 0 20 0 19 0 4265425 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562547671344 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
[pid=7182/tid=7201] ppid=7181 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7182/task/7201/stat : 7201 (java) S 7181 7181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4265425 14133010432 1304274 33554432000 4194304 4196468 140727321840944 140562546620768 140563361232597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140727321842876 140727321843052 140727321843052 140727321845711 0
Current children cumulated CPU time (s) 278.97
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 208.129
CPU time (s): 279.007
CPU user time (s): 268.214
CPU system time (s): 10.793
CPU usage (%): 134.055
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.214
system time used= 10.793
maximum resident set size= 5217244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13030
involuntary context switches= 15799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41036 second user time and 1.88249 second system time
The end