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-4255003-1501623438/watcher-4255003-1501623438 -o /tmp/evaluation-result-4255003-1501623438/solver-4255003-1501623438 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 783151052 HOME/instance-4255003-1501623438.xml
pid=24308
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.90 1.88 3/199 24311
/proc/meminfo: memFree=31071424/32770624 swapFree=0/293480
[pid=24311] ppid=24308 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (runsolver) D 24308 24311 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9849503 24240128 106 18446744073709551615 4194304 4338465 140722323143488 140722323141128 140267707482839 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 21286912 140722323148893 140722323149382 140722323149382 140722323152842 0
/proc/24311/statm: 5918 106 53 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 2.03 1.90 1.88 3/199 24311
/proc/meminfo: memFree=31071424/32770624 swapFree=0/293480
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200186 s]
/proc/loadavg: 2.03 1.90 1.88 3/199 24311
/proc/meminfo: memFree=31071424/32770624 swapFree=0/293480
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300208 s]
/proc/loadavg: 2.03 1.90 1.88 3/199 24311
/proc/meminfo: memFree=31071424/32770624 swapFree=0/293480
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701116 s]
/proc/loadavg: 2.03 1.90 1.88 3/199 24311
/proc/meminfo: memFree=31071424/32770624 swapFree=0/293480
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50105 s]
/proc/loadavg: 2.03 1.90 1.88 5/215 24327
/proc/meminfo: memFree=30969480/32770624 swapFree=0/293484
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 35062 0 0 0 379 8 0 0 20 0 15 0 9849513 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 35983 3173 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 9210 0 0 0 130 4 0 0 20 0 15 0 9849513 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908925901360 139908513321948 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) R 24311 24311 5234 0 -1 4202560 9053 0 0 0 101 0 0 0 20 0 15 0 9849518 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908395533400 139908906585189 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) R 24311 24311 5234 0 -1 4202560 10988 0 0 0 96 1 0 0 20 0 15 0 9849518 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908394479496 139908906060368 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 4469 0 0 0 51 1 0 0 20 0 15 0 9849518 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 35983 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13990244
[startup+3.10112 s]
/proc/loadavg: 2.03 1.90 1.88 5/215 24327
/proc/meminfo: memFree=30925756/32770624 swapFree=0/293484
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=8.35 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 37961 0 0 0 826 9 0 0 20 0 15 0 9849513 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 45129 3187 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 9532 0 0 0 289 5 0 0 20 0 15 0 9849513 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908925897744 139908515102606 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9849514 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) R 24311 24311 5234 0 -1 4202560 9569 0 0 0 237 1 0 0 20 0 15 0 9849518 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908395547672 139908899258017 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) S 24311 24311 5234 0 -1 1077944384 12572 0 0 0 234 1 0 0 20 0 15 0 9849518 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908394494832 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) R 24311 24311 5234 0 -1 4202560 4929 0 0 0 63 1 0 0 20 0 15 0 9849518 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908907343921 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 45129 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 2.03 1.90 1.88 5/215 24327
/proc/meminfo: memFree=30833944/32770624 swapFree=0/293496
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=13.93 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 52562 0 0 0 1379 14 0 0 20 0 15 0 9849513 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 61852 3209 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 10286 0 0 0 606 6 0 0 20 0 15 0 9849513 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908925899048 139908514776089 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 9849514 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 15 0 9849514 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 9849514 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 9849514 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=3.59 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) S 24311 24311 5234 0 -1 1077944384 16005 0 0 0 358 1 0 0 20 0 15 0 9849518 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908395547376 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=3.37 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) S 24311 24311 5234 0 -1 1077944384 17380 0 0 0 335 2 0 0 20 0 15 0 9849518 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908394494832 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 5690 0 0 0 73 2 0 0 20 0 15 0 9849518 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 977 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 61852 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 13.93
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.03 1.90 1.88 3/215 24327
/proc/meminfo: memFree=30792216/32770624 swapFree=0/293500
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=21.44 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 56223 0 0 0 2125 19 0 0 20 0 15 0 9849513 14316269568 70999 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 70999 3222 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=12.47 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 10940 0 0 0 1241 6 0 0 20 0 15 0 9849513 14316269568 70999 18446744073709551615 4194304 4196468 140734364440688 139908925901608 139908513321914 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 111 0 0 0 3 1 0 0 20 0 15 0 9849514 14316269568 70999 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1054 0 0 0 3 1 0 0 20 0 15 0 9849514 14316269568 70999 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
################
# More data... #
################
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 6013 0 0 0 76 2 0 0 20 0 15 0 9849518 14316269568 71027 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 71027 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 998 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 71027 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 13990244
[startup+16.0007 s]
/proc/loadavg: 2.02 1.90 1.88 3/215 24327
/proc/meminfo: memFree=30791972/32770624 swapFree=0/293500
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=25 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 60349 0 0 0 2479 21 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 72613 3225 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=15.75 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 11261 0 0 0 1569 6 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908925902272 139908514039092 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1122 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 490 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 350 0 0 0 5 2 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=4.16 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) S 24311 24311 5234 0 -1 1077944384 19000 0 0 0 415 1 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908395547376 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=3.95 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) S 24311 24311 5234 0 -1 1077944384 19012 0 0 0 393 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908394494832 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 6024 0 0 0 76 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 1005 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 13990244
[startup+16.4007 s]
/proc/loadavg: 2.02 1.90 1.88 3/215 24327
/proc/meminfo: memFree=30791972/32770624 swapFree=0/293500
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=25.4 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 60818 0 0 0 2519 21 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 72613 3225 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=16.15 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 11717 0 0 0 1609 6 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908925902272 139908513804087 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1122 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 490 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 350 0 0 0 5 2 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=4.16 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) S 24311 24311 5234 0 -1 1077944384 19000 0 0 0 415 1 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908395547376 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=3.95 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) S 24311 24311 5234 0 -1 1077944384 19012 0 0 0 393 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908394494832 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 6024 0 0 0 76 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 1018 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 13990244
[startup+16.6067 s]
/proc/loadavg: 2.02 1.90 1.88 3/215 24327
/proc/meminfo: memFree=30785828/32770624 swapFree=0/293504
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=25.63 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 61232 0 0 0 2542 21 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 72613 3225 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=16.36 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 11752 0 0 0 1630 6 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908925898992 139908514053182 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1122 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 490 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 350 0 0 0 5 2 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 595 0 0 0 1 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=4.19 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) S 24311 24311 5234 0 -1 1077944384 19345 0 0 0 417 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908395547376 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=3.96 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) S 24311 24311 5234 0 -1 1077944384 19012 0 0 0 394 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908394494832 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 6024 0 0 0 76 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 1018 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 25.63
Current children cumulated vsize (KiB) 13990244
[startup+16.7008 s]
/proc/loadavg: 2.02 1.90 1.88 3/215 24327
/proc/meminfo: memFree=30785828/32770624 swapFree=0/293504
[pid=24311] ppid=24308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (xcsp3-exec) S 24308 24311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9849503 9740288 345 18446744073709551615 4194304 5098028 140728890215104 140728890213208 139905408402044 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 31752192 140728890216860 140728890217063 140728890217063 140728890220523 0
/proc/24311/statm: 2378 345 289 221 0 87 0
[pid=24313] ppid=24311 vsize=13980732 CPUtime=25.72 cores=0,2,4,6
/proc/24313/stat : 24313 (java) S 24311 24311 5234 0 -1 1077944320 61235 0 0 0 2551 21 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 140734364423232 139908921663223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
/proc/24313/statm: 3495183 72613 3225 1 0 3483484 0
[pid=24313/tid=24314] ppid=24311 vsize=13980732 CPUtime=16.45 cores=0,2,4,6
/proc/24313/task/24314/stat : 24314 (java) R 24311 24311 5234 0 -1 4202560 11755 0 0 0 1639 6 0 0 20 0 15 0 9849513 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908925900440 139908515030605 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24315] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24315/stat : 24315 (java) S 24311 24311 5234 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908841077776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24316] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24316/stat : 24316 (java) S 24311 24311 5234 0 -1 1077944384 1122 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908840025232 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24317] ppid=24311 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24313/task/24317/stat : 24317 (java) S 24311 24311 5234 0 -1 1077944384 490 0 0 0 5 1 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908838972176 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24318] ppid=24311 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/24313/task/24318/stat : 24318 (java) S 24311 24311 5234 0 -1 1077944384 350 0 0 0 5 2 0 0 20 0 15 0 9849514 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908837919632 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24319] ppid=24311 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24313/task/24319/stat : 24319 (java) S 24311 24311 5234 0 -1 1077944384 595 0 0 0 1 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908399757552 139908921674370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24320] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24320/stat : 24320 (java) S 24311 24311 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9849515 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908398703776 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24321] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24321/stat : 24321 (java) S 24311 24311 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9849516 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908397650672 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24322] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24322/stat : 24322 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908396599248 139908921681819 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24323] ppid=24311 vsize=13980732 CPUtime=4.19 cores=0,2,4,6
/proc/24313/task/24323/stat : 24323 (java) S 24311 24311 5234 0 -1 1077944384 19345 0 0 0 417 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908395547376 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24324] ppid=24311 vsize=13980732 CPUtime=3.96 cores=0,2,4,6
/proc/24313/task/24324/stat : 24324 (java) S 24311 24311 5234 0 -1 1077944384 19012 0 0 0 394 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908394494832 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24325] ppid=24311 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/24313/task/24325/stat : 24325 (java) S 24311 24311 5234 0 -1 1077944384 6024 0 0 0 76 2 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908393441776 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24326] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24326/stat : 24326 (java) S 24311 24311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9849518 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908392389472 139908921673429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
[pid=24313/tid=24327] ppid=24311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24313/task/24327/stat : 24327 (java) S 24311 24311 5234 0 -1 1077944384 1018 0 0 0 0 0 0 0 20 0 15 0 9849522 14316269568 72613 18446744073709551615 4194304 4196468 140734364440688 139908391336496 139908921674370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17457152 140734364443092 140734364443267 140734364443267 140734364446671 0
Current children cumulated CPU time (s) 25.72
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 16.7829
CPU time (s): 25.8231
CPU user time (s): 25.5943
CPU system time (s): 0.22887
CPU usage (%): 153.866
Max. virtual memory (cumulated for all children) (KiB): 13992640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.5943
system time used= 0.22887
maximum resident set size= 290852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3245
involuntary context switches= 67
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090196 second user time and 0.102276 second system time
The end