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-4254165-1501616160/watcher-4254165-1501616160 -o /tmp/evaluation-result-4254165-1501616160/solver-4254165-1501616160 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5288 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1407298713 HOME/instance-4254165-1501616160.xml
pid=9194
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.92 1.87 1.88 4/200 9197
/proc/meminfo: memFree=31765124/32770624 swapFree=0/184040
[pid=9197] ppid=9194 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (runsolver) D 9194 9197 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9431378 24240128 108 18446744073709551615 4194304 4338465 140725970161536 140725970159176 140180457734871 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 17174528 140725970169949 140725970170438 140725970170438 140725970173898 0
/proc/9197/statm: 5918 108 54 36 0 2156 0
[startup+0.101543 s]
/proc/loadavg: 1.92 1.87 1.88 4/200 9197
/proc/meminfo: memFree=31765124/32770624 swapFree=0/184040
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20031 s]
/proc/loadavg: 1.92 1.87 1.88 4/200 9197
/proc/meminfo: memFree=31765124/32770624 swapFree=0/184040
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300248 s]
/proc/loadavg: 1.92 1.87 1.88 4/200 9197
/proc/meminfo: memFree=31765124/32770624 swapFree=0/184040
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700902 s]
/proc/loadavg: 1.92 1.87 1.88 4/200 9197
/proc/meminfo: memFree=31765124/32770624 swapFree=0/184040
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.92 1.87 1.88 5/216 9213
/proc/meminfo: memFree=31641520/32770624 swapFree=0/184052
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=3.81 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 20513 0 0 0 374 7 0 0 20 0 15 0 9431388 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 37774 3178 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 8958 0 0 0 129 4 0 0 20 0 15 0 9431388 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022710165712 140022331760840 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9203] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9203/stat : 9203 (java) S 9197 9197 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022303431184 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9204] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9204/stat : 9204 (java) S 9197 9197 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022302378640 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9205] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9205/stat : 9205 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022251682288 140022705941122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 4238 0 0 0 97 0 0 0 20 0 15 0 9431393 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 3437 0 0 0 97 1 0 0 20 0 15 0 9431393 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 2516 0 0 0 50 0 0 0 20 0 15 0 9431393 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9431398 14316269568 37774 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 1.92 1.87 1.88 5/216 9213
/proc/meminfo: memFree=31571056/32770624 swapFree=0/184052
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=7.73 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 34098 0 0 0 762 11 0 0 20 0 15 0 9431388 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 57651 3213 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 9791 0 0 0 287 5 0 0 20 0 15 0 9431388 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022710161232 140022332591234 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9203] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9203/stat : 9203 (java) S 9197 9197 5228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022303431184 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9204] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9204/stat : 9204 (java) S 9197 9197 5228 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022302378640 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9205] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9205/stat : 9205 (java) S 9197 9197 5228 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022251682288 140022705941122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 8775 0 0 0 204 1 0 0 20 0 15 0 9431393 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=2.1 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 9488 0 0 0 208 2 0 0 20 0 15 0 9431393 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 3752 0 0 0 59 1 0 0 20 0 15 0 9431393 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9431398 14316269568 57651 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 13990244
[startup+6.30059 s]
/proc/loadavg: 1.85 1.86 1.88 3/216 9214
/proc/meminfo: memFree=31546508/32770624 swapFree=0/184064
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=11.07 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 34155 0 0 0 1096 11 0 0 20 0 15 0 9431388 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 57676 3213 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 9812 0 0 0 607 5 0 0 20 0 15 0 9431388 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022710169528 140022333269458 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9203] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9203/stat : 9203 (java) S 9197 9197 5228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022303431184 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9204] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9204/stat : 9204 (java) S 9197 9197 5228 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022302378640 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9205] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9205/stat : 9205 (java) S 9197 9197 5228 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022251682288 140022705941122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=2.15 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 8792 0 0 0 214 1 0 0 20 0 15 0 9431393 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=2.13 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 9490 0 0 0 211 2 0 0 20 0 15 0 9431393 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 3761 0 0 0 60 1 0 0 20 0 15 0 9431393 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9431398 14316269568 57676 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.86 1.86 1.88 3/216 9214
/proc/meminfo: memFree=31543964/32770624 swapFree=0/184072
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=17.58 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 38643 0 0 0 1747 11 0 0 20 0 15 0 9431388 14316269568 58255 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 58255 3222 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=12.52 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 10310 0 0 0 1247 5 0 0 20 0 15 0 9431388 14316269568 58255 18446744073709551615 4194304 4196468 140725297685600 140022710166352 140022331970149 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 58255 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 9431389 14316269568 58255 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
################
# More data... #
################
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 11587 0 0 0 225 1 0 0 20 0 15 0 9431393 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 11343 0 0 0 216 2 0 0 20 0 15 0 9431393 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 6246 0 0 0 62 1 0 0 20 0 15 0 9431393 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 174 0 0 0 0 1 0 0 20 0 15 0 9431398 14316269568 61508 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 107.41
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.06 1.92 1.89 3/215 9296
/proc/meminfo: memFree=31555616/32770624 swapFree=0/184196
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=167.44 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 53077 0 0 0 16725 19 0 0 20 0 15 0 9431388 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 57543 3222 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=162.04 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 13534 0 0 0 16199 5 0 0 20 0 15 0 9431388 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022710169376 140022332269810 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 504 0 0 0 3 1 0 0 20 0 15 0 9431389 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 1667 0 0 0 3 1 0 0 20 0 15 0 9431389 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9203] ppid=9197 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9199/task/9203/stat : 9203 (java) S 9197 9197 5228 0 -1 1077944384 1179 0 0 0 3 1 0 0 20 0 15 0 9431389 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022303431184 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9204] ppid=9197 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9199/task/9204/stat : 9204 (java) S 9197 9197 5228 0 -1 1077944384 2387 0 0 0 3 1 0 0 20 0 15 0 9431389 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022302378640 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9205] ppid=9197 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9199/task/9205/stat : 9205 (java) S 9197 9197 5228 0 -1 1077944384 1318 0 0 0 2 0 0 0 20 0 15 0 9431390 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022251682288 140022705941122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 12025 0 0 0 225 1 0 0 20 0 15 0 9431393 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=2.19 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 11347 0 0 0 217 2 0 0 20 0 15 0 9431393 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 7520 0 0 0 63 1 0 0 20 0 15 0 9431393 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 252 0 0 0 1 2 0 0 20 0 15 0 9431398 14316269568 57543 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 167.44
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.89 1.88 3/215 9300
/proc/meminfo: memFree=31576520/32770624 swapFree=0/184240
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=227.47 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 53365 0 0 0 22728 19 0 0 20 0 15 0 9431388 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 52030 3222 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=222.04 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 13606 0 0 0 22199 5 0 0 20 0 15 0 9431388 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022710169568 140022332591190 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 507 0 0 0 4 1 0 0 20 0 15 0 9431389 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 1669 0 0 0 4 1 0 0 20 0 15 0 9431389 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9203] ppid=9197 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9199/task/9203/stat : 9203 (java) S 9197 9197 5228 0 -1 1077944384 1181 0 0 0 3 1 0 0 20 0 15 0 9431389 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022303431184 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9204] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9204/stat : 9204 (java) S 9197 9197 5228 0 -1 1077944384 2388 0 0 0 4 1 0 0 20 0 15 0 9431389 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022302378640 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9205] ppid=9197 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9199/task/9205/stat : 9205 (java) S 9197 9197 5228 0 -1 1077944384 1329 0 0 0 2 0 0 0 20 0 15 0 9431390 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022251682288 140022705941122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 12025 0 0 0 225 1 0 0 20 0 15 0 9431393 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=2.19 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 11540 0 0 0 217 2 0 0 20 0 15 0 9431393 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 7520 0 0 0 63 1 0 0 20 0 15 0 9431393 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 256 0 0 0 2 3 0 0 20 0 15 0 9431398 14316269568 52030 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 227.47
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.64 1.84 1.87 3/216 9302
/proc/meminfo: memFree=31593076/32770624 swapFree=0/184264
[pid=9197] ppid=9194 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9197/stat : 9197 (xcsp3-exec) S 9194 9197 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9431378 9740288 345 18446744073709551615 4194304 5098028 140736292071408 140736292069512 140288152912508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 34521088 140736292073883 140736292074087 140736292074087 140736292077547 0
/proc/9197/statm: 2378 345 289 221 0 87 0
[pid=9199] ppid=9197 vsize=13980732 CPUtime=245.18 cores=0,2,4,6
/proc/9199/stat : 9199 (java) S 9197 9197 5228 0 -1 1077944320 53368 0 0 0 24498 20 0 0 20 0 15 0 9431388 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140725297668144 140022705929975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
/proc/9199/statm: 3495183 50748 3222 1 0 3483484 0
[pid=9199/tid=9200] ppid=9197 vsize=13980732 CPUtime=239.73 cores=0,2,4,6
/proc/9199/task/9200/stat : 9200 (java) R 9197 9197 5228 0 -1 4202560 13609 0 0 0 23968 5 0 0 20 0 15 0 9431388 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022710169568 140022332591492 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9201] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9201/stat : 9201 (java) S 9197 9197 5228 0 -1 1077944384 507 0 0 0 4 1 0 0 20 0 15 0 9431389 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022647875856 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9202] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9202/stat : 9202 (java) S 9197 9197 5228 0 -1 1077944384 1669 0 0 0 4 1 0 0 20 0 15 0 9431389 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022646823312 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9203] ppid=9197 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9199/task/9203/stat : 9203 (java) S 9197 9197 5228 0 -1 1077944384 1181 0 0 0 3 1 0 0 20 0 15 0 9431389 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022303431184 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9204] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9204/stat : 9204 (java) S 9197 9197 5228 0 -1 1077944384 2388 0 0 0 4 1 0 0 20 0 15 0 9431389 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022302378640 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9205] ppid=9197 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/9199/task/9205/stat : 9205 (java) S 9197 9197 5228 0 -1 1077944384 1329 0 0 0 3 0 0 0 20 0 15 0 9431390 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022251682288 140022705941122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9206] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9206/stat : 9206 (java) S 9197 9197 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9431390 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022250628512 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9207] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9207/stat : 9207 (java) S 9197 9197 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9431391 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022249575920 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9208] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9208/stat : 9208 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022248524496 140022705948571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9209] ppid=9197 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/9199/task/9209/stat : 9209 (java) S 9197 9197 5228 0 -1 1077944384 12025 0 0 0 225 1 0 0 20 0 15 0 9431393 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022247471088 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9210] ppid=9197 vsize=13980732 CPUtime=2.19 cores=0,2,4,6
/proc/9199/task/9210/stat : 9210 (java) S 9197 9197 5228 0 -1 1077944384 11540 0 0 0 217 2 0 0 20 0 15 0 9431393 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022246418544 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9211] ppid=9197 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/9199/task/9211/stat : 9211 (java) S 9197 9197 5228 0 -1 1077944384 7520 0 0 0 63 1 0 0 20 0 15 0 9431393 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022245366000 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9212] ppid=9197 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9199/task/9212/stat : 9212 (java) S 9197 9197 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9431393 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022244313696 140022705940181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
[pid=9199/tid=9213] ppid=9197 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9199/task/9213/stat : 9213 (java) S 9197 9197 5228 0 -1 1077944384 256 0 0 0 2 3 0 0 20 0 15 0 9431398 14316269568 50748 18446744073709551615 4194304 4196468 140725297685600 140022243261232 140022705941122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9048064 140725297689044 140725297689219 140725297689219 140725297692623 0
Current children cumulated CPU time (s) 245.18
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9199 sig 9
??? kill 9197 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9197 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1733
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128
# CPU time returned by wait4() is 0.001861
# while last known CPU time is 245.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.18
CPU user time (s): 244.98
CPU system time (s): 0.2
CPU usage (%): 102.154
Max. virtual memory (cumulated for all children) (KiB): 13992476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001733
system time used= 0.000128
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04635 second user time and 1.48187 second system time
The end