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-4254052-1501612778/watcher-4254052-1501612778 -o /tmp/evaluation-result-4254052-1501612778/solver-4254052-1501612778 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2050890434 HOME/instance-4254052-1501612778.xml
pid=6349
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.84 1.52 3/199 6352
/proc/meminfo: memFree=31700596/32770624 swapFree=0/277344
[pid=6352] ppid=6349 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (runsolver) D 6349 6352 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8783576 24240128 106 18446744073709551615 4194304 4338465 140735286975104 140735286972744 140086479291095 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 13737984 140735286980701 140735286981190 140735286981190 140735286984650 0
/proc/6352/statm: 5918 106 53 36 0 2156 0
[startup+0.10235 s]
/proc/loadavg: 1.69 1.84 1.52 3/199 6352
/proc/meminfo: memFree=31700596/32770624 swapFree=0/277344
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200215 s]
/proc/loadavg: 1.69 1.84 1.52 3/199 6352
/proc/meminfo: memFree=31700596/32770624 swapFree=0/277344
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30021 s]
/proc/loadavg: 1.69 1.84 1.52 3/199 6352
/proc/meminfo: memFree=31700596/32770624 swapFree=0/277344
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700483 s]
/proc/loadavg: 1.69 1.84 1.52 3/199 6352
/proc/meminfo: memFree=31700596/32770624 swapFree=0/277344
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 1.69 1.84 1.52 5/213 6399
/proc/meminfo: memFree=31677716/32770624 swapFree=0/277296
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=3.74 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 15545 0 0 0 365 9 0 0 20 0 15 0 8783584 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 49933 3208 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 8489 0 0 0 131 4 0 0 20 0 15 0 8783584 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512761153200 140512360127751 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783585 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 8783585 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6358] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6352 6352 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 8783585 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512354888848 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6359] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6352 6352 5234 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 8783585 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512353836048 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6360] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6352 6352 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 8783586 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512235436144 140512756927106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512234382112 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512233329776 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) R 6352 6352 5234 0 -1 4202560 1999 0 0 0 93 0 0 0 20 0 15 0 8783589 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512231211992 140512738437324 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) R 6352 6352 5234 0 -1 4202560 1586 0 0 0 92 0 0 0 20 0 15 0 8783589 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512740121160 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 1977 0 0 0 45 1 0 0 20 0 15 0 8783590 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8783593 14316269568 49933 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 1.88 1.87 1.53 5/199 6433
/proc/meminfo: memFree=31656160/32770624 swapFree=0/277320
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=7.19 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 17190 0 0 0 707 12 0 0 20 0 15 0 8783584 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 57653 3227 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 8771 0 0 0 286 5 0 0 20 0 15 0 8783584 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512761152104 140512362012234 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 67 0 0 0 2 1 0 0 20 0 15 0 8783585 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 15 0 8783585 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6358] ppid=6352 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6352 6352 5234 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 15 0 8783585 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512354888848 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6359] ppid=6352 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6352 6352 5234 0 -1 1077944384 147 0 0 0 2 1 0 0 20 0 15 0 8783585 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512353836048 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6360] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6352 6352 5234 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 8783586 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512235436144 140512756927106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512234382176 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512233329792 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6352 6352 5234 0 -1 1077944384 2155 0 0 0 174 0 0 0 20 0 15 0 8783589 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512231225968 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=1.73 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6352 6352 5234 0 -1 1077944384 2300 0 0 0 173 0 0 0 20 0 15 0 8783589 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 2233 0 0 0 61 1 0 0 20 0 15 0 8783590 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8783593 14316269568 57653 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 13990244
[startup+6.30065 s]
/proc/loadavg: 1.88 1.87 1.53 4/215 6449
/proc/meminfo: memFree=31414544/32770624 swapFree=0/277336
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=10.72 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 23724 0 0 0 1055 17 0 0 20 0 15 0 8783584 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 90667 3233 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=6.09 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 9514 0 0 0 602 7 0 0 20 0 15 0 8783584 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512761155280 140512362027700 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 135 0 0 0 4 1 0 0 20 0 15 0 8783585 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 8783585 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6358] ppid=6352 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6352 6352 5234 0 -1 1077944384 188 0 0 0 3 1 0 0 20 0 15 0 8783585 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512354888848 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6359] ppid=6352 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6352 6352 5234 0 -1 1077944384 269 0 0 0 4 1 0 0 20 0 15 0 8783585 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512353836048 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6360] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6352 6352 5234 0 -1 1077944384 545 0 0 0 0 0 0 0 20 0 15 0 8783586 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512235436144 140512756927106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512234382176 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512233329792 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6352 6352 5234 0 -1 1077944384 4525 0 0 0 186 0 0 0 20 0 15 0 8783589 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512231225968 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6352 6352 5234 0 -1 1077944384 3969 0 0 0 185 0 0 0 20 0 15 0 8783589 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 2941 0 0 0 64 1 0 0 20 0 15 0 8783590 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 8783593 14316269568 90667 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.74 1.84 1.53 3/215 6527
/proc/meminfo: memFree=31161424/32770624 swapFree=0/277412
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=17.41 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 24121 0 0 0 1722 19 0 0 20 0 15 0 8783584 14316269568 95822 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 95822 3234 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=12.47 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 9653 0 0 0 1239 8 0 0 20 0 15 0 8783584 14316269568 95822 18446744073709551615 4194304 4196468 140729553478688 140512761154504 140512362071876 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 150 0 0 0 5 2 0 0 20 0 15 0 8783585 14316269568 95822 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 103 0 0 0 4 1 0 0 20 0 15 0 8783585 14316269568 95822 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
################
# More data... #
################
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512234382176 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512233329792 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=1.98 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6352 6352 5234 0 -1 1077944384 6476 0 0 0 198 0 0 0 20 0 15 0 8783589 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512231225968 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6352 6352 5234 0 -1 1077944384 6984 0 0 0 207 1 0 0 20 0 15 0 8783589 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 4879 0 0 0 67 1 0 0 20 0 15 0 8783590 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 501 0 0 0 3 1 0 0 20 0 15 0 8783593 14316269568 245486 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 107.41
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.87 1.85 1.58 3/217 6534
/proc/meminfo: memFree=29859056/32770624 swapFree=0/277520
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=167.48 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 42825 0 0 0 16707 41 0 0 20 0 15 0 8783584 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 208037 3236 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=161.95 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 16296 0 0 0 16178 17 0 0 20 0 15 0 8783584 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512761155536 140512362071876 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 679 0 0 0 11 4 0 0 20 0 15 0 8783585 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 1727 0 0 0 10 4 0 0 20 0 15 0 8783585 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6358] ppid=6352 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6352 6352 5234 0 -1 1077944384 877 0 0 0 10 4 0 0 20 0 15 0 8783585 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512354888848 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6359] ppid=6352 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6352 6352 5234 0 -1 1077944384 556 0 0 0 11 4 0 0 20 0 15 0 8783585 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512353836048 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6360] ppid=6352 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6352 6352 5234 0 -1 1077944384 1687 0 0 0 3 0 0 0 20 0 15 0 8783586 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512235436144 140512756927106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512234382176 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512233329792 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=1.98 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6352 6352 5234 0 -1 1077944384 6641 0 0 0 198 0 0 0 20 0 15 0 8783589 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512231225968 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6352 6352 5234 0 -1 1077944384 7640 0 0 0 207 1 0 0 20 0 15 0 8783589 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 4884 0 0 0 67 1 0 0 20 0 15 0 8783590 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 512 0 0 0 4 3 0 0 20 0 15 0 8783593 14316269568 208037 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 167.48
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.77 1.82 1.59 3/217 6536
/proc/meminfo: memFree=29894788/32770624 swapFree=0/277560
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=227.63 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 43903 0 0 0 22719 44 0 0 20 0 15 0 8783584 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 198801 3236 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=221.83 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 16900 0 0 0 22165 18 0 0 20 0 15 0 8783584 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512761155744 140512362028014 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 820 0 0 0 15 5 0 0 20 0 15 0 8783585 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 1759 0 0 0 14 4 0 0 20 0 15 0 8783585 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6358] ppid=6352 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6352 6352 5234 0 -1 1077944384 904 0 0 0 15 5 0 0 20 0 15 0 8783585 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512354888848 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6359] ppid=6352 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6352 6352 5234 0 -1 1077944384 588 0 0 0 16 5 0 0 20 0 15 0 8783585 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512353836048 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6360] ppid=6352 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6352 6352 5234 0 -1 1077944384 1911 0 0 0 8 1 0 0 20 0 15 0 8783586 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512235436144 140512756927106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512234382176 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512233329792 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=1.98 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6352 6352 5234 0 -1 1077944384 6641 0 0 0 198 0 0 0 20 0 15 0 8783589 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512231225968 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6352 6352 5234 0 -1 1077944384 7641 0 0 0 207 1 0 0 20 0 15 0 8783589 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 4885 0 0 0 67 1 0 0 20 0 15 0 8783590 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 528 0 0 0 6 4 0 0 20 0 15 0 8783593 14316269568 198801 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 227.63
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.68 1.80 1.58 3/217 6536
/proc/meminfo: memFree=29893460/32770624 swapFree=0/277568
[pid=6352] ppid=6349 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6352/stat : 6352 (xcsp3-exec) S 6349 6352 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8783576 9740288 345 18446744073709551615 4194304 5098028 140733574131312 140733574129416 139883808309884 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 14929920 140733574136219 140733574136423 140733574136423 140733574139883 0
/proc/6352/statm: 2378 345 289 221 0 87 0
[pid=6354] ppid=6352 vsize=13980732 CPUtime=245.45 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6352 6352 5234 0 -1 1077944320 45695 0 0 0 24499 46 0 0 20 0 15 0 8783584 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140729553461232 140512756915959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
/proc/6354/statm: 3495183 199319 3236 1 0 3483484 0
[pid=6354/tid=6355] ppid=6352 vsize=13980732 CPUtime=239.43 cores=0,2,4,6
/proc/6354/task/6355/stat : 6355 (java) R 6352 6352 5234 0 -1 4202560 17172 0 0 0 23925 18 0 0 20 0 15 0 8783584 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512761155536 140512362090334 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6356] ppid=6352 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) S 6352 6352 5234 0 -1 1077944384 836 0 0 0 18 6 0 0 20 0 15 0 8783585 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512676330384 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6357] ppid=6352 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6352 6352 5234 0 -1 1077944384 1786 0 0 0 18 5 0 0 20 0 15 0 8783585 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512675277584 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6358] ppid=6352 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6352 6352 5234 0 -1 1077944384 954 0 0 0 18 5 0 0 20 0 15 0 8783585 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512354888848 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6359] ppid=6352 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6352 6352 5234 0 -1 1077944384 900 0 0 0 19 5 0 0 20 0 15 0 8783585 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512353836048 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6360] ppid=6352 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6352 6352 5234 0 -1 1077944384 2108 0 0 0 12 1 0 0 20 0 15 0 8783586 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512235436144 140512756927106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6361] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6352 6352 5234 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512234382176 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6362] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6352 6352 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 8783587 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512233329792 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6363] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783589 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512232278096 140512756934555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6364] ppid=6352 vsize=13980732 CPUtime=1.99 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6352 6352 5234 0 -1 1077944384 6643 0 0 0 199 0 0 0 20 0 15 0 8783589 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512231225968 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6365] ppid=6352 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6352 6352 5234 0 -1 1077944384 7644 0 0 0 207 1 0 0 20 0 15 0 8783589 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512230173168 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6366] ppid=6352 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6352 6352 5234 0 -1 1077944384 5784 0 0 0 67 1 0 0 20 0 15 0 8783590 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512229120880 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6367] ppid=6352 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6352 6352 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783590 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512228068320 140512756926165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
[pid=6354/tid=6368] ppid=6352 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6352 6352 5234 0 -1 1077944384 542 0 0 0 6 5 0 0 20 0 15 0 8783593 14316269568 199319 18446744073709551615 4194304 4196468 140729553478688 140512227015088 140512756927106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140729553482196 140729553482371 140729553482371 140729553485775 0
Current children cumulated CPU time (s) 245.45
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 6354 sig 9
??? kill 6352 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 6352 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1855
# CPU time returned by wait4() is 0.001855
# while last known CPU time is 245.45
#
# 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.45
CPU user time (s): 244.99
CPU system time (s): 0.46
CPU usage (%): 102.266
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001855
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.04813 second user time and 1.55721 second system time
The end