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-4255334-1501619076/watcher-4255334-1501619076 -o /tmp/evaluation-result-4255334-1501619076/solver-4255334-1501619076 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 943384350 HOME/instance-4255334-1501619076.xml
pid=20190
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.86 1.84 1.85 2/201 20193
/proc/meminfo: memFree=31457196/32770624 swapFree=0/288232
[pid=20193] ppid=20190 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runsolver) D 20190 20193 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9413309 24240128 108 18446744073709551615 4194304 4338465 140733262740832 140733262738472 139693781820119 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 25878528 140733262749789 140733262750278 140733262750278 140733262753738 0
/proc/20193/statm: 5918 108 54 36 0 2156 0
[startup+0.100059 s]
/proc/loadavg: 1.86 1.84 1.85 2/201 20193
/proc/meminfo: memFree=31457196/32770624 swapFree=0/288232
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200288 s]
/proc/loadavg: 1.86 1.84 1.85 2/201 20193
/proc/meminfo: memFree=31457196/32770624 swapFree=0/288232
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.306759 s]
/proc/loadavg: 1.86 1.84 1.85 2/201 20193
/proc/meminfo: memFree=31457196/32770624 swapFree=0/288232
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701456 s]
/proc/loadavg: 1.86 1.84 1.85 2/201 20193
/proc/meminfo: memFree=31457196/32770624 swapFree=0/288232
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.87 1.85 1.85 5/217 20209
/proc/meminfo: memFree=31372364/32770624 swapFree=0/288224
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13983848 CPUtime=3.9 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 33984 0 0 0 382 8 0 0 20 0 15 0 9413318 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495962 35556 3188 1 0 3484263 0
[pid=20195/tid=20196] ppid=20193 vsize=13983848 CPUtime=1.35 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 9655 0 0 0 131 4 0 0 20 0 15 0 9413318 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140461494110672 140461088409403 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9413319 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9413319 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9413319 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9413319 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9413320 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9413321 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9413321 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13983848 CPUtime=0.98 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) R 20193 20193 5234 0 -1 4202560 14293 0 0 0 96 2 0 0 20 0 15 0 9413323 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460964249096 140461473260492 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13983848 CPUtime=0.96 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) R 20193 20193 5234 0 -1 4202560 4927 0 0 0 96 0 0 0 20 0 15 0 9413323 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460963197352 140461471417592 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13983848 CPUtime=0.57 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 3801 0 0 0 57 0 0 0 20 0 15 0 9413323 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13983848 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413327 14319460352 35556 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13993360
[startup+3.10074 s]
/proc/loadavg: 1.87 1.85 1.85 5/217 20209
/proc/meminfo: memFree=31268820/32770624 swapFree=0/288224
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=8.73 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 43753 0 0 0 862 11 0 0 20 0 15 0 9413318 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 62390 3192 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 10137 0 0 0 290 6 0 0 20 0 15 0 9413318 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140461494111776 140461090378201 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9413319 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9413319 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9413319 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9413319 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 9413320 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13980732 CPUtime=2.58 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) R 20193 20193 5234 0 -1 4202560 18151 0 0 0 255 3 0 0 20 0 15 0 9413323 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460964257624 140461473371317 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) R 20193 20193 5234 0 -1 4202560 9804 0 0 0 255 1 0 0 20 0 15 0 9413323 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460963203728 140461471064615 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 4312 0 0 0 61 0 0 0 20 0 15 0 9413323 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9413327 14316269568 62390 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 8.73
Current children cumulated vsize (KiB) 13990244
[startup+6.30077 s]
/proc/loadavg: 1.87 1.85 1.85 3/217 20209
/proc/meminfo: memFree=31190216/32770624 swapFree=0/288228
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=15.22 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 46151 0 0 0 1507 15 0 0 20 0 15 0 9413318 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 69831 3222 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 10183 0 0 0 606 6 0 0 20 0 15 0 9413318 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140461494109776 140461089565046 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 9413319 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 9413319 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 9413319 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 9413319 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 9413320 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13980732 CPUtime=4.05 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) R 20193 20193 5234 0 -1 4202560 18439 0 0 0 402 3 0 0 20 0 15 0 9413323 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460964264432 140461474981561 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13980732 CPUtime=4.23 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) S 20193 20193 5234 0 -1 1077944384 10350 0 0 0 422 1 0 0 20 0 15 0 9413323 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460963211888 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 4897 0 0 0 69 1 0 0 20 0 15 0 9413323 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9413327 14316269568 69831 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 15.22
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.89 1.85 1.85 3/217 20209
/proc/meminfo: memFree=31191032/32770624 swapFree=0/288232
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=22.87 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 55373 0 0 0 2271 16 0 0 20 0 15 0 9413318 14316269568 69417 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 69417 3229 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=12.48 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 11243 0 0 0 1242 6 0 0 20 0 15 0 9413318 14316269568 69417 18446744073709551615 4194304 4196468 140728097308336 140461494109552 140461088240191 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 792 0 0 0 4 1 0 0 20 0 15 0 9413319 14316269568 69417 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 83 0 0 0 3 0 0 0 20 0 15 0 9413319 14316269568 69417 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
################
# More data... #
################
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 8301 0 0 0 75 1 0 0 20 0 15 0 9413323 14316269568 63004 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 63004 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 379 0 0 0 0 1 0 0 20 0 15 0 9413327 14316269568 63004 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 52.45
Current children cumulated vsize (KiB) 13990244
[startup+43.2007 s]
/proc/loadavg: 1.73 1.82 1.84 3/217 20210
/proc/meminfo: memFree=31213172/32770624 swapFree=0/288264
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=54.08 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 66120 0 0 0 5385 23 0 0 20 0 15 0 9413318 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 62874 3229 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=42.83 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 13287 0 0 0 4276 7 0 0 20 0 15 0 9413318 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140461494112496 140461090441532 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 1111 0 0 0 15 2 0 0 20 0 15 0 9413319 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 204 0 0 0 14 1 0 0 20 0 15 0 9413319 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 629 0 0 0 16 1 0 0 20 0 15 0 9413319 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 973 0 0 0 14 1 0 0 20 0 15 0 9413319 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 848 0 0 0 3 0 0 0 20 0 15 0 9413320 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13980732 CPUtime=4.84 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) S 20193 20193 5234 0 -1 1077944384 22863 0 0 0 481 3 0 0 20 0 15 0 9413323 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460964264432 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13980732 CPUtime=4.88 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) S 20193 20193 5234 0 -1 1077944384 16184 0 0 0 486 2 0 0 20 0 15 0 9413323 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460963211888 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 8301 0 0 0 75 1 0 0 20 0 15 0 9413323 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 379 0 0 0 0 1 0 0 20 0 15 0 9413327 14316269568 62874 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 54.08
Current children cumulated vsize (KiB) 13990244
[startup+44.8007 s]
/proc/loadavg: 1.73 1.82 1.84 3/217 20210
/proc/meminfo: memFree=31214192/32770624 swapFree=0/288264
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=55.7 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 67534 0 0 0 5547 23 0 0 20 0 15 0 9413318 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 62129 3229 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=44.42 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 13899 0 0 0 4435 7 0 0 20 0 15 0 9413318 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461494112160 140461090185458 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 1151 0 0 0 16 2 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 651 0 0 0 15 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 657 0 0 0 16 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 1008 0 0 0 15 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 1083 0 0 0 3 1 0 0 20 0 15 0 9413320 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13980732 CPUtime=4.84 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) S 20193 20193 5234 0 -1 1077944384 22863 0 0 0 481 3 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460964264432 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13980732 CPUtime=4.88 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) S 20193 20193 5234 0 -1 1077944384 16184 0 0 0 486 2 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460963211888 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 8301 0 0 0 75 1 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 396 0 0 0 1 1 0 0 20 0 15 0 9413327 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 55.7
Current children cumulated vsize (KiB) 13990244
[startup+45.2064 s]
/proc/loadavg: 1.73 1.82 1.84 3/217 20210
/proc/meminfo: memFree=31216276/32770624 swapFree=0/288264
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=56.11 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 67541 0 0 0 5588 23 0 0 20 0 15 0 9413318 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 62129 3229 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=44.82 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 13906 0 0 0 4475 7 0 0 20 0 15 0 9413318 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461494112160 140461089401598 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 1151 0 0 0 16 2 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 651 0 0 0 15 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 657 0 0 0 16 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 1008 0 0 0 15 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 1083 0 0 0 3 1 0 0 20 0 15 0 9413320 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13980732 CPUtime=4.84 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) S 20193 20193 5234 0 -1 1077944384 22863 0 0 0 481 3 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460964264432 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13980732 CPUtime=4.88 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) S 20193 20193 5234 0 -1 1077944384 16184 0 0 0 486 2 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460963211888 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 8301 0 0 0 75 1 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 396 0 0 0 1 1 0 0 20 0 15 0 9413327 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 56.11
Current children cumulated vsize (KiB) 13990244
[startup+45.6007 s]
/proc/loadavg: 1.73 1.82 1.84 3/217 20210
/proc/meminfo: memFree=31216276/32770624 swapFree=0/288264
[pid=20193] ppid=20190 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (xcsp3-exec) S 20190 20193 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9413309 9740288 345 18446744073709551615 4194304 5098028 140720786120592 140720786118696 140244197548668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 32772096 140720786125212 140720786125415 140720786125415 140720786128875 0
/proc/20193/statm: 2378 345 289 221 0 87 0
[pid=20195] ppid=20193 vsize=13980732 CPUtime=56.5 cores=1,3,5,7
/proc/20195/stat : 20195 (java) S 20193 20193 5234 0 -1 1077944320 67545 0 0 0 5627 23 0 0 20 0 15 0 9413318 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140728097290880 140461489872631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
/proc/20195/statm: 3495183 62129 3229 1 0 3483484 0
[pid=20195/tid=20196] ppid=20193 vsize=13980732 CPUtime=45.22 cores=1,3,5,7
/proc/20195/task/20196/stat : 20196 (java) R 20193 20193 5234 0 -1 4202560 13910 0 0 0 4515 7 0 0 20 0 15 0 9413318 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461494112160 140461091850651 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20197] ppid=20193 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/20195/task/20197/stat : 20197 (java) S 20193 20193 5234 0 -1 1077944384 1151 0 0 0 16 2 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461409286928 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20198] ppid=20193 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20195/task/20198/stat : 20198 (java) S 20193 20193 5234 0 -1 1077944384 651 0 0 0 15 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461408234384 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20199] ppid=20193 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20195/task/20199/stat : 20199 (java) S 20193 20193 5234 0 -1 1077944384 657 0 0 0 16 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461407181840 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20200] ppid=20193 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/20195/task/20200/stat : 20200 (java) S 20193 20193 5234 0 -1 1077944384 1008 0 0 0 15 1 0 0 20 0 15 0 9413319 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140461406129296 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20201] ppid=20193 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20195/task/20201/stat : 20201 (java) S 20193 20193 5234 0 -1 1077944384 1083 0 0 0 3 1 0 0 20 0 15 0 9413320 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460968474608 140461489883778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20202] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20202/stat : 20202 (java) S 20193 20193 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460967420832 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20203] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20203/stat : 20203 (java) S 20193 20193 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9413321 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460966368240 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20204] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20204/stat : 20204 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460965316816 140461489891227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20205] ppid=20193 vsize=13980732 CPUtime=4.84 cores=1,3,5,7
/proc/20195/task/20205/stat : 20205 (java) S 20193 20193 5234 0 -1 1077944384 22863 0 0 0 481 3 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460964264432 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20206] ppid=20193 vsize=13980732 CPUtime=4.88 cores=1,3,5,7
/proc/20195/task/20206/stat : 20206 (java) S 20193 20193 5234 0 -1 1077944384 16184 0 0 0 486 2 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460963211888 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20207] ppid=20193 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/20195/task/20207/stat : 20207 (java) S 20193 20193 5234 0 -1 1077944384 8301 0 0 0 75 1 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460962159344 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20208] ppid=20193 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20195/task/20208/stat : 20208 (java) S 20193 20193 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9413323 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460961107040 140461489882837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
[pid=20195/tid=20209] ppid=20193 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20195/task/20209/stat : 20209 (java) S 20193 20193 5234 0 -1 1077944384 396 0 0 0 1 1 0 0 20 0 15 0 9413327 14316269568 62129 18446744073709551615 4194304 4196468 140728097308336 140460960053552 140461489883778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22634496 140728097317332 140728097317507 140728097317507 140728097320911 0
Current children cumulated CPU time (s) 56.5
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 45.637
CPU time (s): 56.552
CPU user time (s): 56.3074
CPU system time (s): 0.244587
CPU usage (%): 123.917
Max. virtual memory (cumulated for all children) (KiB): 13993772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.3074
system time used= 0.244587
maximum resident set size= 283812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69109
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= 4473
involuntary context switches= 112
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.216415 second user time and 0.290271 second system time
The end