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-4255055-1501621512/watcher-4255055-1501621512 -o /tmp/evaluation-result-4255055-1501621512/solver-4255055-1501621512 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1878857305 HOME/instance-4255055-1501621512.xml
pid=14832
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.79 1.81 3/197 14835
/proc/meminfo: memFree=31524804/32770624 swapFree=0/192104
[pid=14835] ppid=14832 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (runsolver) D 14832 14835 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10774255 24240128 107 18446744073709551615 4194304 4338465 140723290813008 140723290810648 139963967951575 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 12058624 140723290820700 140723290821190 140723290821190 140723290824650 0
/proc/14835/statm: 5918 107 54 36 0 2156 0
[startup+0.100081 s]
/proc/loadavg: 1.85 1.79 1.81 3/197 14835
/proc/meminfo: memFree=31524804/32770624 swapFree=0/192104
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200202 s]
/proc/loadavg: 1.85 1.79 1.81 3/197 14835
/proc/meminfo: memFree=31524804/32770624 swapFree=0/192104
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305445 s]
/proc/loadavg: 1.85 1.79 1.81 3/197 14835
/proc/meminfo: memFree=31524804/32770624 swapFree=0/192104
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 1.85 1.79 1.81 3/197 14835
/proc/meminfo: memFree=31524804/32770624 swapFree=0/192104
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.85 1.79 1.81 5/213 14851
/proc/meminfo: memFree=31434144/32770624 swapFree=0/192132
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=3.83 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 29901 0 0 0 375 8 0 0 20 0 15 0 10774263 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 33004 3181 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 8516 0 0 0 132 4 0 0 20 0 15 0 10774263 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139910328042776 139909918740350 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) R 14835 14835 5091 0 -1 4202560 7564 0 0 0 100 1 0 0 20 0 15 0 10774268 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909798231192 139910305331448 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=1.02 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) R 14835 14835 5091 0 -1 4202560 9542 0 0 0 102 0 0 0 20 0 15 0 10774268 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909797180624 139910308197088 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 2971 0 0 0 39 0 0 0 20 0 15 0 10774268 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 33004 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 1.85 1.79 1.81 5/213 14852
/proc/meminfo: memFree=31344764/32770624 swapFree=0/192144
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=8.62 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 58158 0 0 0 849 13 0 0 20 0 15 0 10774263 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 61232 3202 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 9129 0 0 0 289 6 0 0 20 0 15 0 10774263 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139910328049400 139909922626960 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=2.6 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) S 14835 14835 5091 0 -1 1077944384 11103 0 0 0 258 2 0 0 20 0 15 0 10774268 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909798246640 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=2.58 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) S 14835 14835 5091 0 -1 1077944384 32314 0 0 0 255 3 0 0 20 0 15 0 10774268 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909797194096 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 3552 0 0 0 43 0 0 0 20 0 15 0 10774268 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 61232 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 1.86 1.80 1.81 3/213 14852
/proc/meminfo: memFree=31283952/32770624 swapFree=0/192144
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=12.83 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 58914 0 0 0 1268 15 0 0 20 0 15 0 10774263 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 60632 3214 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 9141 0 0 0 608 6 0 0 20 0 15 0 10774263 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139910328049216 139909923850332 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 10774264 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 15 0 10774264 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10774264 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 10774264 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=3.11 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) S 14835 14835 5091 0 -1 1077944384 11591 0 0 0 309 2 0 0 20 0 15 0 10774268 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909798246640 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) S 14835 14835 5091 0 -1 1077944384 32388 0 0 0 294 4 0 0 20 0 15 0 10774268 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909797194096 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 3696 0 0 0 50 0 0 0 20 0 15 0 10774268 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 60632 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.95 1.82 1.82 3/213 14852
/proc/meminfo: memFree=31262416/32770624 swapFree=0/192152
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=19.69 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 64117 0 0 0 1952 17 0 0 20 0 15 0 10774263 14316269568 61519 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 61519 3224 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=12.51 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 10009 0 0 0 1245 6 0 0 20 0 15 0 10774263 14316269568 61519 18446744073709551615 4194304 4196468 140723982497904 139910328048208 139909922559067 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 870 0 0 0 2 0 0 0 20 0 15 0 10774264 14316269568 61519 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 10774264 14316269568 61519 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
################
# More data... #
################
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 4213 0 0 0 52 1 0 0 20 0 15 0 10774268 14316269568 61159 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 61159 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 61159 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 23.14
Current children cumulated vsize (KiB) 13990244
[startup+17.6006 s]
/proc/loadavg: 1.96 1.82 1.82 3/213 14852
/proc/meminfo: memFree=31258260/32770624 swapFree=0/192168
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=24.75 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 67329 0 0 0 2458 17 0 0 20 0 15 0 10774263 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 60261 3224 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=17.41 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 10315 0 0 0 1735 6 0 0 20 0 15 0 10774263 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139910328049032 139909921720732 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 880 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 337 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 125 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 10774265 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=3.34 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) S 14835 14835 5091 0 -1 1077944384 13151 0 0 0 331 3 0 0 20 0 15 0 10774268 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909798246640 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=3.28 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) S 14835 14835 5091 0 -1 1077944384 35893 0 0 0 324 4 0 0 20 0 15 0 10774268 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909797194096 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 4223 0 0 0 52 1 0 0 20 0 15 0 10774268 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 60261 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 13990244
[startup+18.4006 s]
/proc/loadavg: 1.96 1.82 1.82 3/213 14852
/proc/meminfo: memFree=31258260/32770624 swapFree=0/192168
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=25.57 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 68369 0 0 0 2539 18 0 0 20 0 15 0 10774263 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 60138 3224 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=18.2 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 10806 0 0 0 1814 6 0 0 20 0 15 0 10774263 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139910328049520 139909923675037 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 1005 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 507 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 15 0 10774265 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=3.34 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) S 14835 14835 5091 0 -1 1077944384 13151 0 0 0 331 3 0 0 20 0 15 0 10774268 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909798246640 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=3.28 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) S 14835 14835 5091 0 -1 1077944384 35893 0 0 0 324 4 0 0 20 0 15 0 10774268 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909797194096 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 4406 0 0 0 52 1 0 0 20 0 15 0 10774268 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 60138 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 13990244
[startup+19.2006 s]
/proc/loadavg: 1.96 1.82 1.82 3/213 14852
/proc/meminfo: memFree=31254660/32770624 swapFree=0/192168
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=26.39 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 68975 0 0 0 2621 18 0 0 20 0 15 0 10774263 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 59112 3224 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=18.99 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 10823 0 0 0 1893 6 0 0 20 0 15 0 10774263 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910328049360 139910316630907 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 1011 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 345 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 15 0 10774265 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=3.36 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) S 14835 14835 5091 0 -1 1077944384 13725 0 0 0 333 3 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909798246640 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=3.28 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) S 14835 14835 5091 0 -1 1077944384 35893 0 0 0 324 4 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909797194096 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 4406 0 0 0 52 1 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 13990244
[startup+19.4006 s]
/proc/loadavg: 1.96 1.82 1.82 3/213 14852
/proc/meminfo: memFree=31254660/32770624 swapFree=0/192168
[pid=14835] ppid=14832 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14835/stat : 14835 (xcsp3-exec) S 14832 14835 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10774255 9740288 345 18446744073709551615 4194304 5098028 140727234704336 140727234702440 140138467111548 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 37842944 140727234711963 140727234712167 140727234712167 140727234715627 0
/proc/14835/statm: 2378 345 289 221 0 87 0
[pid=14837] ppid=14835 vsize=13980732 CPUtime=26.59 cores=0,2,4,6
/proc/14837/stat : 14837 (java) S 14835 14835 5091 0 -1 1077944320 68976 0 0 0 2641 18 0 0 20 0 15 0 10774263 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 140723982480448 139910323810039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
/proc/14837/statm: 3495183 59112 3224 1 0 3483484 0
[pid=14837/tid=14838] ppid=14835 vsize=13980732 CPUtime=19.19 cores=0,2,4,6
/proc/14837/task/14838/stat : 14838 (java) R 14835 14835 5091 0 -1 4202560 10824 0 0 0 1913 6 0 0 20 0 15 0 10774263 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910328049360 139909924278807 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14839] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14839/stat : 14839 (java) S 14835 14835 5091 0 -1 1077944384 1011 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910243224080 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14840] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14840/stat : 14840 (java) S 14835 14835 5091 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910242171536 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14841] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14841/stat : 14841 (java) S 14835 14835 5091 0 -1 1077944384 345 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910241118480 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14842] ppid=14835 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14837/task/14842/stat : 14842 (java) S 14835 14835 5091 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 15 0 10774264 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139910240065936 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14843] ppid=14835 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14837/task/14843/stat : 14843 (java) S 14835 14835 5091 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 15 0 10774265 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909802457840 139910323821186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14844] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14844/stat : 14844 (java) S 14835 14835 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10774265 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909801404064 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14845] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14845/stat : 14845 (java) S 14835 14835 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10774266 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909800350960 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14846] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14846/stat : 14846 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909799299536 139910323828635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14847] ppid=14835 vsize=13980732 CPUtime=3.36 cores=0,2,4,6
/proc/14837/task/14847/stat : 14847 (java) S 14835 14835 5091 0 -1 1077944384 13725 0 0 0 333 3 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909798246640 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14848] ppid=14835 vsize=13980732 CPUtime=3.28 cores=0,2,4,6
/proc/14837/task/14848/stat : 14848 (java) S 14835 14835 5091 0 -1 1077944384 35893 0 0 0 324 4 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909797194096 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14849] ppid=14835 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/14837/task/14849/stat : 14849 (java) S 14835 14835 5091 0 -1 1077944384 4406 0 0 0 52 1 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909796141040 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14850] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14850/stat : 14850 (java) S 14835 14835 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10774268 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909795088736 139910323820245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
[pid=14837/tid=14851] ppid=14835 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14837/task/14851/stat : 14851 (java) S 14835 14835 5091 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 10774273 14316269568 59112 18446744073709551615 4194304 4196468 140723982497904 139909794036784 139910323821186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21667840 140723982500308 140723982500483 140723982500483 140723982503887 0
Current children cumulated CPU time (s) 26.59
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 19.4664
CPU time (s): 26.6673
CPU user time (s): 26.4776
CPU system time (s): 0.189741
CPU usage (%): 136.992
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.4776
system time used= 0.189741
maximum resident set size= 253700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69882
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= 3001
involuntary context switches= 67
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.07411 second user time and 0.140149 second system time
The end