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-4254002-1501617475/watcher-4254002-1501617475 -o /tmp/evaluation-result-4254002-1501617475/solver-4254002-1501617475 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1071771488 HOME/instance-4254002-1501617475.xml
pid=10239
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: 2.07 1.99 1.89 3/195 10242
/proc/meminfo: memFree=23961476/32770624 swapFree=0/187836
[pid=10242] ppid=10239 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (runsolver) D 10239 10242 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10370582 24240128 106 18446744073709551615 4194304 4338465 140731354585504 140731354583144 139969896399575 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 36827136 140731354591325 140731354591814 140731354591814 140731354595274 0
/proc/10242/statm: 5918 106 53 36 0 2156 0
[startup+0.103612 s]
/proc/loadavg: 2.07 1.99 1.89 3/195 10242
/proc/meminfo: memFree=23961476/32770624 swapFree=0/187836
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200262 s]
/proc/loadavg: 2.07 1.99 1.89 3/195 10242
/proc/meminfo: memFree=23961476/32770624 swapFree=0/187836
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300211 s]
/proc/loadavg: 2.07 1.99 1.89 3/195 10242
/proc/meminfo: memFree=23961476/32770624 swapFree=0/187836
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703572 s]
/proc/loadavg: 2.07 1.99 1.89 3/195 10242
/proc/meminfo: memFree=23961476/32770624 swapFree=0/187836
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 2.07 1.99 1.89 5/211 10258
/proc/meminfo: memFree=23859124/32770624 swapFree=0/187836
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=3.7 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 24677 0 0 0 363 7 0 0 20 0 15 0 10370591 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 31828 3173 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 8954 0 0 0 131 4 0 0 20 0 15 0 10370591 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139667541163856 139667181274808 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 6931 0 0 0 97 0 0 0 20 0 15 0 10370596 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 4989 0 0 0 92 0 0 0 20 0 15 0 10370596 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 2493 0 0 0 41 1 0 0 20 0 15 0 10370596 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370601 14316269568 31828 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10057 s]
/proc/loadavg: 2.07 1.99 1.89 3/211 10258
/proc/meminfo: memFree=23846176/32770624 swapFree=0/187860
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=5.35 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 25396 0 0 0 528 7 0 0 20 0 15 0 10370591 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 31870 3173 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 9208 0 0 0 291 4 0 0 20 0 15 0 10370591 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139667541168272 139667181275039 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 7102 0 0 0 99 0 0 0 20 0 15 0 10370596 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 5041 0 0 0 93 0 0 0 20 0 15 0 10370596 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 2684 0 0 0 43 1 0 0 20 0 15 0 10370596 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10370601 14316269568 31870 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 13990244
[startup+6.30058 s]
/proc/loadavg: 1.98 1.97 1.89 3/211 10258
/proc/meminfo: memFree=23851812/32770624 swapFree=0/187860
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=8.71 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 28680 0 0 0 863 8 0 0 20 0 15 0 10370591 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 30175 3177 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 9683 0 0 0 611 4 0 0 20 0 15 0 10370591 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139667541168016 139667182002025 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 7663 0 0 0 102 0 0 0 20 0 15 0 10370596 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=1.05 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 6079 0 0 0 104 1 0 0 20 0 15 0 10370596 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 3032 0 0 0 44 1 0 0 20 0 15 0 10370596 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 593 0 0 0 0 0 0 0 20 0 15 0 10370601 14316269568 30175 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.98 1.97 1.89 3/211 10259
/proc/meminfo: memFree=23198492/32770624 swapFree=0/187872
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=15.36 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 33323 0 0 0 1528 8 0 0 20 0 15 0 10370591 14316269568 30270 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 30270 3179 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 10780 0 0 0 1251 4 0 0 20 0 15 0 10370591 14316269568 30270 18446744073709551615 4194304 4196468 140730283179840 139667541168336 139667181274808 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 30270 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 30270 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
################
# More data... #
################
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 5110 0 0 0 50 1 0 0 20 0 15 0 10370596 14316269568 34048 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 34048 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 711 0 0 0 0 1 0 0 20 0 15 0 10370601 14316269568 34048 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 55.37
Current children cumulated vsize (KiB) 13990244
[startup+54.4006 s]
/proc/loadavg: 2.06 1.99 1.90 2/190 10464
/proc/meminfo: memFree=31857060/32770624 swapFree=0/187996
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=58.58 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 53172 0 0 0 5847 11 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 34560 3185 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=54.25 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 12366 0 0 0 5421 4 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667541170184 139667181274577 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 13224 0 0 0 177 1 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 19980 0 0 0 197 2 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 5110 0 0 0 50 1 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 711 0 0 0 0 1 0 0 20 0 15 0 10370601 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 58.58
Current children cumulated vsize (KiB) 13990244
[startup+56.0006 s]
/proc/loadavg: 2.06 1.99 1.90 5/211 10494
/proc/meminfo: memFree=31768292/32770624 swapFree=0/188008
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=60.19 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 53181 0 0 0 6008 11 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 34560 3185 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=55.85 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 12370 0 0 0 5581 4 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667541169216 139667182093132 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 13226 0 0 0 177 1 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 19980 0 0 0 197 2 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 5113 0 0 0 50 1 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 711 0 0 0 0 1 0 0 20 0 15 0 10370601 14316269568 34560 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 60.19
Current children cumulated vsize (KiB) 13990244
[startup+56.8006 s]
/proc/loadavg: 2.06 1.99 1.90 3/211 10494
/proc/meminfo: memFree=31746528/32770624 swapFree=0/188008
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=60.99 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 53194 0 0 0 6088 11 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 35072 3185 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=56.65 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 12375 0 0 0 5661 4 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667541169216 139667182909945 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 13226 0 0 0 177 1 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 19988 0 0 0 197 2 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 5113 0 0 0 50 1 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 711 0 0 0 0 1 0 0 20 0 15 0 10370601 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 60.99
Current children cumulated vsize (KiB) 13990244
[startup+57.2005 s]
/proc/loadavg: 2.06 1.99 1.90 3/211 10494
/proc/meminfo: memFree=31743988/32770624 swapFree=0/188008
[pid=10242] ppid=10239 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10242/stat : 10242 (xcsp3-exec) S 10239 10242 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10370582 9740288 344 18446744073709551615 4194304 5098028 140721939475728 140721939473832 140467190411900 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 12267520 140721939476891 140721939477095 140721939477095 140721939480555 0
/proc/10242/statm: 2378 344 289 221 0 87 0
[pid=10244] ppid=10242 vsize=13980732 CPUtime=61.39 cores=1,3,5,7
/proc/10244/stat : 10244 (java) S 10242 10242 5091 0 -1 1077944320 53196 0 0 0 6128 11 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 140730283162384 139667536932599 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
/proc/10244/statm: 3495183 35072 3185 1 0 3483484 0
[pid=10244/tid=10245] ppid=10242 vsize=13980732 CPUtime=57.05 cores=1,3,5,7
/proc/10244/task/10245/stat : 10245 (java) R 10242 10242 5091 0 -1 4202560 12377 0 0 0 5701 4 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667541169384 139667182091447 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10246] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10246/stat : 10246 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667506645648 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10247] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10247/stat : 10247 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370591 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667135556112 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10248] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10248/stat : 10248 (java) S 10242 10242 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667134503312 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10249] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10249/stat : 10249 (java) S 10242 10242 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10370592 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139667133450512 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10250] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10250/stat : 10250 (java) S 10242 10242 5091 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666654714736 139667536943746 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10251] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10251/stat : 10251 (java) S 10242 10242 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666653660704 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10252] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10252/stat : 10252 (java) S 10242 10242 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10370593 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666652607856 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10253] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10253/stat : 10253 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666651556176 139667536951195 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10254] ppid=10242 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/10244/task/10254/stat : 10254 (java) S 10242 10242 5091 0 -1 1077944384 13226 0 0 0 177 1 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666650503536 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10255] ppid=10242 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/10244/task/10255/stat : 10255 (java) S 10242 10242 5091 0 -1 1077944384 19988 0 0 0 197 2 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666649450736 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10256] ppid=10242 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/10244/task/10256/stat : 10256 (java) S 10242 10242 5091 0 -1 1077944384 5113 0 0 0 50 1 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666648397936 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10257] ppid=10242 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10244/task/10257/stat : 10257 (java) S 10242 10242 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10370596 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666647345376 139667536942805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
[pid=10244/tid=10258] ppid=10242 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10244/task/10258/stat : 10258 (java) S 10242 10242 5091 0 -1 1077944384 711 0 0 0 0 1 0 0 20 0 15 0 10370601 14316269568 35072 18446744073709551615 4194304 4196468 140730283179840 139666646293680 139667536943746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17465344 140730283188692 140730283188867 140730283188867 140730283192271 0
Current children cumulated CPU time (s) 61.39
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 57.3038
CPU time (s): 61.4993
CPU user time (s): 61.3842
CPU system time (s): 0.115115
CPU usage (%): 107.321
Max. virtual memory (cumulated for all children) (KiB): 13992348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.3842
system time used= 0.115115
maximum resident set size= 140700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54147
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= 3401
involuntary context switches= 48
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.314866 second user time and 0.253148 second system time
The end