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-4253899-1501616820/watcher-4253899-1501616820 -o /tmp/evaluation-result-4253899-1501616820/solver-4253899-1501616820 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 191655750 HOME/instance-4253899-1501616820.xml
pid=9168
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.18 1.98 1.86 2/196 9171
/proc/meminfo: memFree=31029076/32770624 swapFree=0/188184
[pid=9171] ppid=9168 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (runsolver) D 9168 9171 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10302331 24240128 106 18446744073709551615 4194304 4338465 140734043720064 140734043717704 140591014605527 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 6590464 140734043721822 140734043722310 140734043722310 140734043725770 0
/proc/9171/statm: 5918 106 53 36 0 2156 0
[startup+0.10014 s]
/proc/loadavg: 2.18 1.98 1.86 2/196 9171
/proc/meminfo: memFree=31029076/32770624 swapFree=0/188184
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200309 s]
/proc/loadavg: 2.18 1.98 1.86 2/196 9171
/proc/meminfo: memFree=31029076/32770624 swapFree=0/188184
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300328 s]
/proc/loadavg: 2.18 1.98 1.86 2/196 9171
/proc/meminfo: memFree=31029076/32770624 swapFree=0/188184
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700928 s]
/proc/loadavg: 2.18 1.98 1.86 2/196 9171
/proc/meminfo: memFree=31029076/32770624 swapFree=0/188184
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 2.18 1.98 1.86 5/212 9187
/proc/meminfo: memFree=30852092/32770624 swapFree=0/188212
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 27699 0 0 0 363 10 0 0 20 0 15 0 10302336 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 55223 3190 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 8946 0 0 0 132 5 0 0 20 0 15 0 10302336 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140047304505856 140046892406672 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9177] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9177/stat : 9177 (java) S 9171 9171 5131 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140047217576208 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9178] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9178/stat : 9178 (java) S 9171 9171 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140047216523664 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9179] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9179/stat : 9179 (java) S 9171 9171 5131 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 10302338 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046485572336 140047300278914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046484518560 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046483465456 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 5231 0 0 0 92 0 0 0 20 0 15 0 10302341 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) R 9171 9171 5131 0 -1 4202560 9045 0 0 0 99 1 0 0 20 0 15 0 10302341 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046480298384 140047281791732 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 2714 0 0 0 36 1 0 0 20 0 15 0 10302341 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302347 14316269568 55223 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 2.18 1.98 1.86 3/212 9187
/proc/meminfo: memFree=30820292/32770624 swapFree=0/188212
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=5.71 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 29107 0 0 0 561 10 0 0 20 0 15 0 10302336 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 55422 3195 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 9367 0 0 0 292 5 0 0 20 0 15 0 10302336 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140047304503264 140046892407628 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9177] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9177/stat : 9177 (java) S 9171 9171 5131 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140047217576208 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9178] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9178/stat : 9178 (java) S 9171 9171 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140047216523664 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9179] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9179/stat : 9179 (java) S 9171 9171 5131 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 10302338 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046485572336 140047300278914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046484518560 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046483465456 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=1.12 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 5727 0 0 0 112 0 0 0 20 0 15 0 10302341 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=1.15 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) S 9171 9171 5131 0 -1 1077944384 9189 0 0 0 114 1 0 0 20 0 15 0 10302341 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046480308592 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 3005 0 0 0 39 1 0 0 20 0 15 0 10302341 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10302347 14316269568 55422 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 2.16 1.98 1.86 4/212 9187
/proc/meminfo: memFree=30818900/32770624 swapFree=0/188220
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=9.47 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 33631 0 0 0 937 10 0 0 20 0 15 0 10302336 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 55514 3196 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 9607 0 0 0 612 5 0 0 20 0 15 0 10302336 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140047304503152 140046892407158 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9177] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9177/stat : 9177 (java) S 9171 9171 5131 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140047217576208 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9178] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9178/stat : 9178 (java) S 9171 9171 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10302337 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140047216523664 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9179] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9179/stat : 9179 (java) S 9171 9171 5131 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 10302338 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046485572336 140047300278914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046484518560 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046483465456 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 8440 0 0 0 138 0 0 0 20 0 15 0 10302341 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) S 9171 9171 5131 0 -1 1077944384 10679 0 0 0 143 1 0 0 20 0 15 0 10302341 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046480308592 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 3030 0 0 0 40 1 0 0 20 0 15 0 10302341 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10302347 14316269568 55514 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.15 1.98 1.87 3/212 9187
/proc/meminfo: memFree=30797308/32770624 swapFree=0/188228
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=16.11 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 36519 0 0 0 1598 13 0 0 20 0 15 0 10302336 14316269568 61196 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 61196 3208 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 9996 0 0 0 1250 5 0 0 20 0 15 0 10302336 14316269568 61196 18446744073709551615 4194304 4196468 140726763299600 140047304506288 140046892407158 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 635 0 0 0 1 1 0 0 20 0 15 0 10302337 14316269568 61196 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 414 0 0 0 1 1 0 0 20 0 15 0 10302337 14316269568 61196 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
################
# More data... #
################
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046484518624 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046483465472 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=2.54 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 16468 0 0 0 253 1 0 0 20 0 15 0 10302341 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=2 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) S 9171 9171 5131 0 -1 1077944384 14489 0 0 0 199 1 0 0 20 0 15 0 10302341 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046480308592 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 5797 0 0 0 50 1 0 0 20 0 15 0 10302341 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 281 0 0 0 1 3 0 0 20 0 15 0 10302347 14316269568 67135 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 107.6
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.91 1.95 1.87 3/211 9270
/proc/meminfo: memFree=31655120/32770624 swapFree=0/188360
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=168.25 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 66839 0 0 0 16799 26 0 0 20 0 15 0 10302336 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 53091 3215 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=162.01 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 13549 0 0 0 16196 5 0 0 20 0 15 0 10302336 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140047304506656 140046892407186 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 2026 0 0 0 7 3 0 0 20 0 15 0 10302337 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 1047 0 0 0 8 2 0 0 20 0 15 0 10302337 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9177] ppid=9171 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9173/task/9177/stat : 9177 (java) S 9171 9171 5131 0 -1 1077944384 1349 0 0 0 8 2 0 0 20 0 15 0 10302337 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140047217576208 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9178] ppid=9171 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9173/task/9178/stat : 9178 (java) S 9171 9171 5131 0 -1 1077944384 1158 0 0 0 7 2 0 0 20 0 15 0 10302337 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140047216523664 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9179] ppid=9171 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9173/task/9179/stat : 9179 (java) S 9171 9171 5131 0 -1 1077944384 1477 0 0 0 3 1 0 0 20 0 15 0 10302338 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046485572336 140047300278914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046484518624 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046483465472 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=2.8 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 19115 0 0 0 279 1 0 0 20 0 15 0 10302341 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=2.3 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) S 9171 9171 5131 0 -1 1077944384 18137 0 0 0 228 2 0 0 20 0 15 0 10302341 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046480308592 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 7298 0 0 0 52 1 0 0 20 0 15 0 10302341 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 313 0 0 0 3 5 0 0 20 0 15 0 10302347 14316269568 53091 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 168.25
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.68 1.88 1.85 3/211 9272
/proc/meminfo: memFree=31649416/32770624 swapFree=0/188396
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=228.41 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 67042 0 0 0 22812 29 0 0 20 0 15 0 10302336 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 46559 3215 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=221.98 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 13605 0 0 0 22193 5 0 0 20 0 15 0 10302336 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140047304506688 140046892407153 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 2028 0 0 0 9 3 0 0 20 0 15 0 10302337 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 1050 0 0 0 9 2 0 0 20 0 15 0 10302337 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9177] ppid=9171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/9173/task/9177/stat : 9177 (java) S 9171 9171 5131 0 -1 1077944384 1350 0 0 0 9 2 0 0 20 0 15 0 10302337 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140047217576208 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9178] ppid=9171 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9173/task/9178/stat : 9178 (java) S 9171 9171 5131 0 -1 1077944384 1161 0 0 0 8 2 0 0 20 0 15 0 10302337 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140047216523664 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9179] ppid=9171 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/9173/task/9179/stat : 9179 (java) S 9171 9171 5131 0 -1 1077944384 1479 0 0 0 4 1 0 0 20 0 15 0 10302338 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046485572336 140047300278914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046484518624 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046483465472 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=2.88 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 19162 0 0 0 287 1 0 0 20 0 15 0 10302341 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) S 9171 9171 5131 0 -1 1077944384 18137 0 0 0 229 2 0 0 20 0 15 0 10302341 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046480308592 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 7386 0 0 0 52 1 0 0 20 0 15 0 10302341 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 314 0 0 0 4 7 0 0 20 0 15 0 10302347 14316269568 46559 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 228.41
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.55 1.84 1.84 3/211 9272
/proc/meminfo: memFree=31640856/32770624 swapFree=0/188400
[pid=9171] ppid=9168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9171/stat : 9171 (xcsp3-exec) S 9168 9171 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10302331 9740288 345 18446744073709551615 4194304 5098028 140727383487840 140727383485944 139727983358588 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34648064 140727383490972 140727383491175 140727383491175 140727383494635 0
/proc/9171/statm: 2378 345 289 221 0 87 0
[pid=9173] ppid=9171 vsize=13980732 CPUtime=246.33 cores=1,3,5,7
/proc/9173/stat : 9173 (java) S 9171 9171 5131 0 -1 1077944320 70626 0 0 0 24603 30 0 0 20 0 15 0 10302336 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140726763282144 140047300267767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
/proc/9173/statm: 3495183 45692 3215 1 0 3483484 0
[pid=9173/tid=9174] ppid=9171 vsize=13980732 CPUtime=239.66 cores=1,3,5,7
/proc/9173/task/9174/stat : 9174 (java) R 9171 9171 5131 0 -1 4202560 14089 0 0 0 23961 5 0 0 20 0 15 0 10302336 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140047304506496 140046892407275 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9175] ppid=9171 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/9173/task/9175/stat : 9175 (java) S 9171 9171 5131 0 -1 1077944384 2034 0 0 0 9 3 0 0 20 0 15 0 10302337 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140047219681808 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9176] ppid=9171 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/9173/task/9176/stat : 9176 (java) S 9171 9171 5131 0 -1 1077944384 1070 0 0 0 10 2 0 0 20 0 15 0 10302337 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140047218629264 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9177] ppid=9171 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/9173/task/9177/stat : 9177 (java) S 9171 9171 5131 0 -1 1077944384 1629 0 0 0 10 2 0 0 20 0 15 0 10302337 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140047217576208 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9178] ppid=9171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/9173/task/9178/stat : 9178 (java) S 9171 9171 5131 0 -1 1077944384 1186 0 0 0 9 2 0 0 20 0 15 0 10302337 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140047216523664 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9179] ppid=9171 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/9173/task/9179/stat : 9179 (java) S 9171 9171 5131 0 -1 1077944384 1629 0 0 0 4 1 0 0 20 0 15 0 10302338 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046485572336 140047300278914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9180] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9180/stat : 9180 (java) S 9171 9171 5131 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046484518624 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9181] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9181/stat : 9181 (java) S 9171 9171 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10302339 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046483465472 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9182] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9182/stat : 9182 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302341 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046482414032 140047300286363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9183] ppid=9171 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/9173/task/9183/stat : 9183 (java) S 9171 9171 5131 0 -1 1077944384 19756 0 0 0 294 1 0 0 20 0 15 0 10302341 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046481361136 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9184] ppid=9171 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/9173/task/9184/stat : 9184 (java) S 9171 9171 5131 0 -1 1077944384 19539 0 0 0 241 2 0 0 20 0 15 0 10302341 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046480308592 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9185] ppid=9171 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/9173/task/9185/stat : 9185 (java) S 9171 9171 5131 0 -1 1077944384 7773 0 0 0 53 1 0 0 20 0 15 0 10302341 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046479255536 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9186] ppid=9171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9173/task/9186/stat : 9186 (java) S 9171 9171 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10302342 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046478203232 140047300277973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
[pid=9173/tid=9187] ppid=9171 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/9173/task/9187/stat : 9187 (java) S 9171 9171 5131 0 -1 1077944384 547 0 0 0 4 8 0 0 20 0 15 0 10302347 14316269568 45692 18446744073709551615 4194304 4196468 140726763299600 140046477151280 140047300278914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28577792 140726763307476 140726763307651 140726763307651 140726763311055 0
Current children cumulated CPU time (s) 246.33
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 9173 sig 9
??? kill 9171 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 9171 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=601
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1203
# CPU time returned by wait4() is 0.001804
# while last known CPU time is 246.33
#
# 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): 246.33
CPU user time (s): 246.03
CPU system time (s): 0.3
CPU usage (%): 102.633
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000601
system time used= 0.001203
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.10917 second user time and 1.52528 second system time
The end