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-4254998-1501623377/watcher-4254998-1501623377 -o /tmp/evaluation-result-4254998-1501623377/solver-4254998-1501623377 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1249022661 HOME/instance-4254998-1501623377.xml
pid=17178
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.69 1.54 1.64 2/199 17181
/proc/meminfo: memFree=27249896/32770624 swapFree=0/173752
[pid=17181] ppid=17178 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (runsolver) D 17178 17181 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4248323 24240128 106 18446744073709551615 4194304 4338465 140729577383440 140729577381080 140206962447063 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 24936448 140729577386078 140729577386567 140729577386567 140729577390026 0
/proc/17181/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17181
/proc/meminfo: memFree=27249896/32770624 swapFree=0/173752
[pid=17181] ppid=17178 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (runsolver) R 17178 17181 3187 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 1 0 4248323 24240128 106 18446744073709551615 4194304 4338465 140729577383440 140729577380936 140206962272759 0 0 1 24578 0 0 0 17 0 0 0 10 0 0 6438912 6441760 24936448 140729577386078 140729577386567 140729577386567 140729577390026 0
/proc/17181/statm: 5918 108 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200281 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17181
/proc/meminfo: memFree=27249896/32770624 swapFree=0/173752
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30838 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17181
/proc/meminfo: memFree=27249896/32770624 swapFree=0/173752
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700165 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17181
/proc/meminfo: memFree=27249896/32770624 swapFree=0/173752
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50141 s]
/proc/loadavg: 1.80 1.56 1.65 6/215 17197
/proc/meminfo: memFree=27091128/32770624 swapFree=0/173780
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13982444 CPUtime=3.71 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 27260 0 0 0 353 18 0 0 20 0 15 0 4248333 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495611 72609 3204 1 0 3483912 0
[pid=17183/tid=17184] ppid=17181 vsize=13982444 CPUtime=1.2 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 9520 0 0 0 115 5 0 0 20 0 15 0 4248334 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139721210950888 139720810469870 0 4 1 16800974 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13982444 CPUtime=0.05 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 69 0 0 0 3 2 0 0 20 0 15 0 4248334 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13982444 CPUtime=0.05 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 37 0 0 0 3 2 0 0 20 0 15 0 4248334 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13982444 CPUtime=0.05 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 828 0 0 0 3 2 0 0 20 0 15 0 4248334 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13982444 CPUtime=0.06 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 15 0 4248334 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13982444 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 4248336 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13982444 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13982444 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13982444 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13982444 CPUtime=0.81 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) R 17181 17181 3187 0 -1 4202560 4368 0 0 0 81 0 0 0 20 0 15 0 4248339 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720681102792 139721192769116 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13982444 CPUtime=0.82 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) R 17181 17181 3187 0 -1 4202560 5890 0 0 0 82 0 0 0 20 0 15 0 4248339 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720680053704 139721185959946 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13982444 CPUtime=0.61 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 4841 0 0 0 60 1 0 0 20 0 15 0 4248339 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13982444 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13982444 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4248343 14318022656 72609 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 13991956
[startup+3.10143 s]
/proc/loadavg: 1.80 1.56 1.65 5/215 17197
/proc/meminfo: memFree=26966388/32770624 swapFree=0/173780
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=8.31 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 33608 0 0 0 808 23 0 0 20 0 15 0 4248333 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 86348 3216 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=2.75 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 9893 0 0 0 270 5 0 0 20 0 15 0 4248334 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139721210950432 139720811867294 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 172 0 0 0 5 3 0 0 20 0 15 0 4248334 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 58 0 0 0 3 2 0 0 20 0 15 0 4248334 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 917 0 0 0 4 3 0 0 20 0 15 0 4248334 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 178 0 0 0 5 4 0 0 20 0 15 0 4248334 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13980732 CPUtime=2.23 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) R 17181 17181 3187 0 -1 4202560 7946 0 0 0 222 1 0 0 20 0 15 0 4248339 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720681106096 139721188258337 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13980732 CPUtime=2.2 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) R 17181 17181 3187 0 -1 4202560 7450 0 0 0 219 1 0 0 20 0 15 0 4248339 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720680050624 139721185960302 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 5365 0 0 0 76 1 0 0 20 0 15 0 4248339 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 4248343 14316269568 86348 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 13990244
[startup+6.30077 s]
/proc/loadavg: 1.89 1.59 1.66 4/215 17197
/proc/meminfo: memFree=26846720/32770624 swapFree=0/173780
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=13.27 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 41460 0 0 0 1292 35 0 0 20 0 15 0 4248333 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 133462 3221 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=5.9 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 10295 0 0 0 583 7 0 0 20 0 15 0 4248334 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139721210953424 139720812935700 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 218 0 0 0 8 5 0 0 20 0 15 0 4248334 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 100 0 0 0 6 4 0 0 20 0 15 0 4248334 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 960 0 0 0 7 5 0 0 20 0 15 0 4248334 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 230 0 0 0 8 6 0 0 20 0 15 0 4248334 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) S 17181 17181 3187 0 -1 1077944384 10900 0 0 0 290 1 0 0 20 0 15 0 4248339 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720681121776 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13980732 CPUtime=3.04 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) S 17181 17181 3187 0 -1 1077944384 11553 0 0 0 302 2 0 0 20 0 15 0 4248339 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720680069232 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 5440 0 0 0 83 1 0 0 20 0 15 0 4248339 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 4248343 14316269568 133462 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 13.27
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.98 1.61 1.66 3/215 17197
/proc/meminfo: memFree=25471388/32770624 swapFree=0/173800
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=21.06 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 52968 0 0 0 2060 46 0 0 20 0 15 0 4248333 14316269568 152781 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 152781 3226 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=12.24 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 11531 0 0 0 1217 7 0 0 20 0 15 0 4248334 14316269568 152781 18446744073709551615 4194304 4196468 140723123752448 139721210950976 139721185775008 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 298 0 0 0 11 8 0 0 20 0 15 0 4248334 14316269568 152781 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 178 0 0 0 10 7 0 0 20 0 15 0 4248334 14316269568 152781 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
################
# More data... #
################
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17183 sig 9
??? kill 17181 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 1.77 1.58 1.65 3/215 17198
/proc/meminfo: memFree=22699672/32770624 swapFree=0/173816
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=35.64 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 62640 0 0 0 3491 73 0 0 20 0 15 0 4248333 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 245350 3228 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=25 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 14147 0 0 0 2489 11 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139721210953536 139720811163641 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 472 0 0 0 19 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 1259 0 0 0 17 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 1221 0 0 0 18 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 451 0 0 0 19 14 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 1118 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13980732 CPUtime=4.3 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) S 17181 17181 3187 0 -1 1077944384 19459 0 0 0 428 2 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720681121776 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13980732 CPUtime=4.09 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) S 17181 17181 3187 0 -1 1077944384 15903 0 0 0 407 2 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720680069232 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 6234 0 0 0 88 1 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 1029 0 0 0 0 0 0 0 20 0 15 0 4248343 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 35.64
Current children cumulated vsize (KiB) 13990244
[startup+26.4007 s]
/proc/loadavg: 1.77 1.58 1.65 3/215 17198
/proc/meminfo: memFree=22699672/32770624 swapFree=0/173816
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=36.45 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 62670 0 0 0 3572 73 0 0 20 0 15 0 4248333 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 245350 3228 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=25.81 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 14177 0 0 0 2570 11 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139721210953536 139720813726059 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 472 0 0 0 19 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 1259 0 0 0 17 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 1221 0 0 0 18 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 451 0 0 0 19 14 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 1118 0 0 0 1 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13980732 CPUtime=4.3 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) S 17181 17181 3187 0 -1 1077944384 19459 0 0 0 428 2 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720681121776 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13980732 CPUtime=4.09 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) S 17181 17181 3187 0 -1 1077944384 15903 0 0 0 407 2 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720680069232 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 6234 0 0 0 88 1 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 1029 0 0 0 0 0 0 0 20 0 15 0 4248343 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 36.45
Current children cumulated vsize (KiB) 13990244
[startup+26.8007 s]
/proc/loadavg: 1.77 1.58 1.65 3/215 17198
/proc/meminfo: memFree=22699672/32770624 swapFree=0/173816
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=36.84 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 62685 0 0 0 3611 73 0 0 20 0 15 0 4248333 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 245350 3228 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=26.2 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 14192 0 0 0 2609 11 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139721210952984 139720816293643 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 472 0 0 0 19 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 1259 0 0 0 17 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 1221 0 0 0 18 13 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 451 0 0 0 19 14 0 0 20 0 15 0 4248334 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 1118 0 0 0 1 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13980732 CPUtime=4.3 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) S 17181 17181 3187 0 -1 1077944384 19459 0 0 0 428 2 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720681121776 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13980732 CPUtime=4.09 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) S 17181 17181 3187 0 -1 1077944384 15903 0 0 0 407 2 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720680069232 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 6234 0 0 0 88 1 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 1029 0 0 0 0 0 0 0 20 0 15 0 4248343 14316269568 245350 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 36.84
Current children cumulated vsize (KiB) 13990244
[startup+27.0007 s]
/proc/loadavg: 1.77 1.58 1.65 3/215 17198
/proc/meminfo: memFree=22699672/32770624 swapFree=0/173816
[pid=17181] ppid=17178 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17181/stat : 17181 (xcsp3-exec) S 17178 17181 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4248323 9740288 345 18446744073709551615 4194304 5098028 140722245063664 140722245061768 140123245449852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 29827072 140722245071260 140722245071464 140722245071464 140722245074923 0
/proc/17181/statm: 2378 345 289 221 0 87 0
[pid=17183] ppid=17181 vsize=13980732 CPUtime=37.05 cores=0,2,4,6
/proc/17183/stat : 17183 (java) S 17181 17181 3187 0 -1 1077944320 63092 0 0 0 3632 73 0 0 20 0 15 0 4248333 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 140723123734992 139721206714103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
/proc/17183/statm: 3495183 245354 3228 1 0 3483484 0
[pid=17183/tid=17184] ppid=17181 vsize=13980732 CPUtime=26.4 cores=0,2,4,6
/proc/17183/task/17184/stat : 17184 (java) R 17181 17181 3187 0 -1 4202560 14202 0 0 0 2629 11 0 0 20 0 15 0 4248334 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139721210952984 139720811586842 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17185] ppid=17181 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/17183/task/17185/stat : 17185 (java) S 17181 17181 3187 0 -1 1077944384 472 0 0 0 19 13 0 0 20 0 15 0 4248334 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139721126127888 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17186] ppid=17181 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/17183/task/17186/stat : 17186 (java) S 17181 17181 3187 0 -1 1077944384 1259 0 0 0 17 13 0 0 20 0 15 0 4248334 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720805837200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17187] ppid=17181 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/17183/task/17187/stat : 17187 (java) S 17181 17181 3187 0 -1 1077944384 1221 0 0 0 18 13 0 0 20 0 15 0 4248334 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720804784656 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17188] ppid=17181 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/17183/task/17188/stat : 17188 (java) S 17181 17181 3187 0 -1 1077944384 451 0 0 0 19 14 0 0 20 0 15 0 4248334 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720803732112 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17189] ppid=17181 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/17183/task/17189/stat : 17189 (java) S 17181 17181 3187 0 -1 1077944384 1118 0 0 0 1 0 0 0 20 0 15 0 4248336 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720685332976 139721206725250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17190] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17190/stat : 17190 (java) S 17181 17181 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720684279200 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17191] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17191/stat : 17191 (java) S 17181 17181 3187 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 4248336 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720683226608 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17192] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17192/stat : 17192 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720682175184 139721206732699 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17193] ppid=17181 vsize=13980732 CPUtime=4.3 cores=0,2,4,6
/proc/17183/task/17193/stat : 17193 (java) S 17181 17181 3187 0 -1 1077944384 19459 0 0 0 428 2 0 0 20 0 15 0 4248339 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720681121776 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17194] ppid=17181 vsize=13980732 CPUtime=4.1 cores=0,2,4,6
/proc/17183/task/17194/stat : 17194 (java) S 17181 17181 3187 0 -1 1077944384 16300 0 0 0 408 2 0 0 20 0 15 0 4248339 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720680069232 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17195] ppid=17181 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/17183/task/17195/stat : 17195 (java) S 17181 17181 3187 0 -1 1077944384 6234 0 0 0 88 1 0 0 20 0 15 0 4248339 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720679016688 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17196] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17196/stat : 17196 (java) S 17181 17181 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4248339 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720677964384 139721206724309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
[pid=17183/tid=17197] ppid=17181 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17183/task/17197/stat : 17197 (java) S 17181 17181 3187 0 -1 1077944384 1029 0 0 0 0 0 0 0 20 0 15 0 4248343 14316269568 245354 18446744073709551615 4194304 4196468 140723123752448 139720676911920 139721206725250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140723123757525 140723123757700 140723123757700 140723123761103 0
Current children cumulated CPU time (s) 37.05
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 27.0507
CPU time (s): 37.1077
CPU user time (s): 36.3628
CPU system time (s): 0.744966
CPU usage (%): 137.178
Max. virtual memory (cumulated for all children) (KiB): 13994328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3628
system time used= 0.744966
maximum resident set size= 981756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64226
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= 3818
involuntary context switches= 113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145586 second user time and 0.162714 second system time
The end