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-4254996-1501623365/watcher-4254996-1501623365 -o /tmp/evaluation-result-4254996-1501623365/solver-4254996-1501623365 -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 2413727 HOME/instance-4254996-1501623365.xml
pid=24226
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: 1.85 1.85 1.87 3/199 24229
/proc/meminfo: memFree=31185688/32770624 swapFree=0/293380
[pid=24229] ppid=24226 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (runsolver) D 24226 24229 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9842289 24240128 108 18446744073709551615 4194304 4338465 140733678239904 140733678237544 140673285534423 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37699584 140733678248031 140733678248518 140733678248518 140733678251978 0
/proc/24229/statm: 5918 108 54 36 0 2156 0
[startup+0.106844 s]
/proc/loadavg: 1.85 1.85 1.87 3/199 24229
/proc/meminfo: memFree=31185688/32770624 swapFree=0/293380
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200271 s]
/proc/loadavg: 1.85 1.85 1.87 3/199 24229
/proc/meminfo: memFree=31185688/32770624 swapFree=0/293380
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.308147 s]
/proc/loadavg: 1.85 1.85 1.87 3/199 24229
/proc/meminfo: memFree=31185688/32770624 swapFree=0/293380
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701188 s]
/proc/loadavg: 1.85 1.85 1.87 3/199 24229
/proc/meminfo: memFree=31185688/32770624 swapFree=0/293380
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 1.85 1.85 1.87 5/215 24245
/proc/meminfo: memFree=31017676/32770624 swapFree=0/293384
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=3.89 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 22301 0 0 0 382 7 0 0 20 0 15 0 9842294 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 39871 3182 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 8966 0 0 0 133 4 0 0 20 0 15 0 9842294 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103603760224 140103197353531 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9842295 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9842295 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9842295 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9842295 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 9842296 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) R 24229 24229 5234 0 -1 4202560 3928 0 0 0 97 0 0 0 20 0 15 0 9842299 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103073098008 140103583017994 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 4489 0 0 0 96 0 0 0 20 0 15 0 9842299 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 3583 0 0 0 54 1 0 0 20 0 15 0 9842299 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9842304 14316269568 39871 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13990244
[startup+3.10056 s]
/proc/loadavg: 1.86 1.85 1.87 3/215 24245
/proc/meminfo: memFree=30901340/32770624 swapFree=0/293384
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=6.25 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 24307 0 0 0 611 14 0 0 20 0 15 0 9842294 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 61768 3217 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 9083 0 0 0 289 5 0 0 20 0 15 0 9842294 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103603757200 140103198533781 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 344 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 167 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 9842296 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=1.26 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) S 24229 24229 5234 0 -1 1077944384 4183 0 0 0 125 1 0 0 20 0 15 0 9842299 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103073097712 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 4724 0 0 0 127 0 0 0 20 0 15 0 9842299 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 4172 0 0 0 60 1 0 0 20 0 15 0 9842299 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9842304 14316269568 61768 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 1.86 1.85 1.87 3/215 24245
/proc/meminfo: memFree=30902284/32770624 swapFree=0/293396
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=9.85 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 25100 0 0 0 970 15 0 0 20 0 15 0 9842294 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 60999 3217 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 9153 0 0 0 609 5 0 0 20 0 15 0 9842294 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103603757456 140103196412194 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 344 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 167 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 9842296 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) S 24229 24229 5234 0 -1 1077944384 4287 0 0 0 141 1 0 0 20 0 15 0 9842299 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103073097712 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 5049 0 0 0 148 0 0 0 20 0 15 0 9842299 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 4230 0 0 0 62 1 0 0 20 0 15 0 9842299 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 9842304 14316269568 60999 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.88 1.86 1.87 3/215 24246
/proc/meminfo: memFree=30896036/32770624 swapFree=0/293400
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=16.64 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 30970 0 0 0 1648 16 0 0 20 0 15 0 9842294 14316269568 61118 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 61118 3219 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=12.54 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 10319 0 0 0 1249 5 0 0 20 0 15 0 9842294 14316269568 61118 18446744073709551615 4194304 4196468 140736358241760 140103603757536 140103199366632 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 344 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 61118 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 167 0 0 0 1 1 0 0 20 0 15 0 9842295 14316269568 61118 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
################
# More data... #
################
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 6557 0 0 0 73 2 0 0 20 0 15 0 9842299 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 347 0 0 0 1 1 0 0 20 0 15 0 9842304 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 76.24
Current children cumulated vsize (KiB) 13990244
[startup+69.6008 s]
/proc/loadavg: 2.03 1.90 1.88 3/215 24248
/proc/meminfo: memFree=30681512/32770624 swapFree=0/293460
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=77.04 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 58171 0 0 0 7657 47 0 0 20 0 15 0 9842294 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 99826 3228 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=69.21 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 13513 0 0 0 6916 5 0 0 20 0 15 0 9842294 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103603760408 140103196411866 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 1382 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 819 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 621 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 1864 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 736 0 0 0 2 0 0 0 20 0 15 0 9842296 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) S 24229 24229 5234 0 -1 1077944384 14427 0 0 0 295 2 0 0 20 0 15 0 9842299 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103073097712 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 16563 0 0 0 304 1 0 0 20 0 15 0 9842299 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 6557 0 0 0 73 2 0 0 20 0 15 0 9842299 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 347 0 0 0 1 1 0 0 20 0 15 0 9842304 14316269568 99826 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 77.04
Current children cumulated vsize (KiB) 13990244
[startup+70.4008 s]
/proc/loadavg: 2.03 1.90 1.88 3/215 24248
/proc/meminfo: memFree=30686392/32770624 swapFree=0/293460
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=77.85 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 58228 0 0 0 7738 47 0 0 20 0 15 0 9842294 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 98514 3228 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=70.01 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 13570 0 0 0 6996 5 0 0 20 0 15 0 9842294 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103603760408 140103192487100 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 1382 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 819 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 621 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 1864 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 736 0 0 0 2 0 0 0 20 0 15 0 9842296 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) S 24229 24229 5234 0 -1 1077944384 14427 0 0 0 295 2 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103073097712 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 16563 0 0 0 304 1 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 6557 0 0 0 73 2 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 347 0 0 0 1 1 0 0 20 0 15 0 9842304 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 77.85
Current children cumulated vsize (KiB) 13990244
[startup+70.6007 s]
/proc/loadavg: 2.03 1.90 1.88 3/215 24248
/proc/meminfo: memFree=30686392/32770624 swapFree=0/293460
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=78.04 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 58229 0 0 0 7757 47 0 0 20 0 15 0 9842294 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 98514 3228 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=70.2 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 13571 0 0 0 7015 5 0 0 20 0 15 0 9842294 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103603760408 140103200990676 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 1382 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 819 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 621 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 1864 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 736 0 0 0 2 0 0 0 20 0 15 0 9842296 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) S 24229 24229 5234 0 -1 1077944384 14427 0 0 0 295 2 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103073097712 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 16563 0 0 0 304 1 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 6557 0 0 0 73 2 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 347 0 0 0 1 1 0 0 20 0 15 0 9842304 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 78.04
Current children cumulated vsize (KiB) 13990244
[startup+70.7008 s]
/proc/loadavg: 2.03 1.90 1.88 3/215 24248
/proc/meminfo: memFree=30686392/32770624 swapFree=0/293460
[pid=24229] ppid=24226 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (xcsp3-exec) S 24226 24229 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9842289 9740288 345 18446744073709551615 4194304 5098028 140729104196240 140729104194344 140229712077436 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 39473152 140729104204190 140729104204391 140729104204391 140729104207851 0
/proc/24229/statm: 2378 345 289 221 0 87 0
[pid=24231] ppid=24229 vsize=13980732 CPUtime=78.14 cores=0,2,4,6
/proc/24231/stat : 24231 (java) S 24229 24229 5234 0 -1 1077944320 58229 0 0 0 7767 47 0 0 20 0 15 0 9842294 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140736358224304 140103599521527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
/proc/24231/statm: 3495183 98514 3228 1 0 3483484 0
[pid=24231/tid=24232] ppid=24229 vsize=13980732 CPUtime=70.31 cores=0,2,4,6
/proc/24231/task/24232/stat : 24232 (java) R 24229 24229 5234 0 -1 4202560 13571 0 0 0 7026 5 0 0 20 0 15 0 9842294 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103603760408 140103197061027 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24233] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24233/stat : 24233 (java) S 24229 24229 5234 0 -1 1077944384 1382 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103518935312 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24234] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24234/stat : 24234 (java) S 24229 24229 5234 0 -1 1077944384 819 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103517882768 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24235] ppid=24229 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/24231/task/24235/stat : 24235 (java) S 24229 24229 5234 0 -1 1077944384 621 0 0 0 16 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103516830224 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24236] ppid=24229 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/24231/task/24236/stat : 24236 (java) S 24229 24229 5234 0 -1 1077944384 1864 0 0 0 15 8 0 0 20 0 15 0 9842295 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103515777680 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24237] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24237/stat : 24237 (java) S 24229 24229 5234 0 -1 1077944384 736 0 0 0 2 0 0 0 20 0 15 0 9842296 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103077308912 140103599532674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24238] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24238/stat : 24238 (java) S 24229 24229 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103076255136 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24239] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24239/stat : 24239 (java) S 24229 24229 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9842297 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103075202544 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24240] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24240/stat : 24240 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103074151120 140103599540123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24241] ppid=24229 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/24231/task/24241/stat : 24241 (java) S 24229 24229 5234 0 -1 1077944384 14427 0 0 0 295 2 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103073097712 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24242] ppid=24229 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/24231/task/24242/stat : 24242 (java) S 24229 24229 5234 0 -1 1077944384 16563 0 0 0 304 1 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103072045168 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24243] ppid=24229 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/24231/task/24243/stat : 24243 (java) S 24229 24229 5234 0 -1 1077944384 6557 0 0 0 73 2 0 0 20 0 15 0 9842299 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103070992624 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24244] ppid=24229 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24231/task/24244/stat : 24244 (java) S 24229 24229 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9842300 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103069940320 140103599531733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
[pid=24231/tid=24245] ppid=24229 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/24231/task/24245/stat : 24245 (java) S 24229 24229 5234 0 -1 1077944384 347 0 0 0 1 1 0 0 20 0 15 0 9842304 14316269568 98514 18446744073709551615 4194304 4196468 140736358241760 140103068887856 140103599532674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140736358244820 140736358244995 140736358244995 140736358248399 0
Current children cumulated CPU time (s) 78.14
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 70.7522
CPU time (s): 78.213
CPU user time (s): 77.7263
CPU system time (s): 0.486712
CPU usage (%): 110.545
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.7263
system time used= 0.486712
maximum resident set size= 401868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59030
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= 4778
involuntary context switches= 107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.374349 second user time and 0.390796 second system time
The end