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-4254913-1501622830/watcher-4254913-1501622830 -o /tmp/evaluation-result-4254913-1501622830/solver-4254913-1501622830 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10799 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1789190704 HOME/instance-4254913-1501622830.xml
pid=14632
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: 2.08 1.90 1.80 2/196 14635
/proc/meminfo: memFree=31541928/32770624 swapFree=0/192868
[pid=14635] ppid=14632 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (runsolver) D 14632 14635 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10900007 24240128 106 18446744073709551615 4194304 4338465 140729043143264 140729043140904 140581606314711 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 28991488 140729043148892 140729043149382 140729043149382 140729043152842 0
/proc/14635/statm: 5918 106 53 36 0 2156 0
[startup+0.107674 s]
/proc/loadavg: 2.08 1.90 1.80 2/196 14635
/proc/meminfo: memFree=31541928/32770624 swapFree=0/192868
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200206 s]
/proc/loadavg: 2.08 1.90 1.80 2/196 14635
/proc/meminfo: memFree=31541928/32770624 swapFree=0/192868
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300185 s]
/proc/loadavg: 2.08 1.90 1.80 2/196 14635
/proc/meminfo: memFree=31541928/32770624 swapFree=0/192868
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700704 s]
/proc/loadavg: 2.08 1.90 1.80 2/196 14635
/proc/meminfo: memFree=31541928/32770624 swapFree=0/192868
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 2.08 1.90 1.80 5/212 14651
/proc/meminfo: memFree=31478896/32770624 swapFree=0/192884
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=3.42 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 20241 0 0 0 336 6 0 0 20 0 15 0 10900016 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 21681 3178 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 9827 0 0 0 130 3 0 0 20 0 15 0 10900016 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140551008171152 140550610950016 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14641] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14641/stat : 14641 (java) S 14635 14635 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550936262928 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14642] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14642/stat : 14642 (java) S 14635 14635 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550935210384 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14643] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14643/stat : 14643 (java) S 14635 14635 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10900018 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550482529008 140551003945602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550481475232 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550480422128 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 3336 0 0 0 79 0 0 0 20 0 15 0 10900021 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 3539 0 0 0 83 0 0 0 20 0 15 0 10900021 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) R 14635 14635 5123 0 -1 4202560 2223 0 0 0 42 0 0 0 20 0 15 0 10900021 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003946390 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10900028 14316269568 21681 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 13990244
[startup+3.10067 s]
/proc/loadavg: 2.00 1.89 1.79 4/212 14651
/proc/meminfo: memFree=31424228/32770624 swapFree=0/192884
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=6.06 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 24007 0 0 0 598 8 0 0 20 0 15 0 10900016 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 48725 3202 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 9976 0 0 0 288 4 0 0 20 0 15 0 10900016 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140551008173096 140550612656589 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14641] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14641/stat : 14641 (java) S 14635 14635 5123 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550936262928 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14642] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14642/stat : 14642 (java) S 14635 14635 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550935210384 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14643] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14643/stat : 14643 (java) S 14635 14635 5123 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 10900018 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550482529008 140551003945602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550481475232 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550480422128 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 4386 0 0 0 132 0 0 0 20 0 15 0 10900021 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=1.29 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 4650 0 0 0 128 1 0 0 20 0 15 0 10900021 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) S 14635 14635 5123 0 -1 1077944384 2971 0 0 0 48 0 0 0 20 0 15 0 10900021 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10900028 14316269568 48725 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 2.00 1.89 1.79 3/212 14651
/proc/meminfo: memFree=31349620/32770624 swapFree=0/192892
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=10.02 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 24351 0 0 0 993 9 0 0 20 0 15 0 10900016 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 50943 3206 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 10072 0 0 0 607 4 0 0 20 0 15 0 10900016 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140551008170656 140550611677548 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14641] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14641/stat : 14641 (java) S 14635 14635 5123 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550936262928 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14642] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14642/stat : 14642 (java) S 14635 14635 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10900017 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550935210384 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14643] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14643/stat : 14643 (java) S 14635 14635 5123 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 10900018 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550482529008 140551003945602 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550481475296 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550480422128 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=1.68 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 4465 0 0 0 168 0 0 0 20 0 15 0 10900021 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 4726 0 0 0 162 1 0 0 20 0 15 0 10900021 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) S 14635 14635 5123 0 -1 1077944384 3035 0 0 0 52 1 0 0 20 0 15 0 10900021 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10900028 14316269568 50943 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 10.02
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.84 1.86 1.78 3/212 14651
/proc/meminfo: memFree=31338768/32770624 swapFree=0/192896
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=17.05 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 30704 0 0 0 1692 13 0 0 20 0 15 0 10900016 14316269568 54696 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 54696 3220 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=12.46 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 11065 0 0 0 1242 4 0 0 20 0 15 0 10900016 14316269568 54696 18446744073709551615 4194304 4196468 140723229566224 140551008173264 140550612656719 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 336 0 0 0 2 1 0 0 20 0 15 0 10900017 14316269568 54696 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 297 0 0 0 2 1 0 0 20 0 15 0 10900017 14316269568 54696 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
################
# More data... #
################
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550481475296 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550480422144 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=2.75 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 15444 0 0 0 274 1 0 0 20 0 15 0 10900021 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=2.73 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 15969 0 0 0 271 2 0 0 20 0 15 0 10900021 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) S 14635 14635 5123 0 -1 1077944384 7335 0 0 0 65 1 0 0 20 0 15 0 10900021 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 298 0 0 0 2 2 0 0 20 0 15 0 10900028 14316269568 68318 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 109.63
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.38 1.71 1.74 3/211 14734
/proc/meminfo: memFree=31201292/32770624 swapFree=0/193036
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=170.95 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 69765 0 0 0 17026 69 0 0 20 0 15 0 10900016 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 106451 3231 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=161.03 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 19774 0 0 0 16097 6 0 0 20 0 15 0 10900016 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140551008173648 140550611940518 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 1488 0 0 0 71 12 0 0 20 0 15 0 10900017 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 1202 0 0 0 71 12 0 0 20 0 15 0 10900017 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14641] ppid=14635 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/14637/task/14641/stat : 14641 (java) S 14635 14635 5123 0 -1 1077944384 1703 0 0 0 71 13 0 0 20 0 15 0 10900017 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550936262928 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14642] ppid=14635 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/14637/task/14642/stat : 14642 (java) S 14635 14635 5123 0 -1 1077944384 1348 0 0 0 70 13 0 0 20 0 15 0 10900017 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550935210384 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14643] ppid=14635 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/14637/task/14643/stat : 14643 (java) S 14635 14635 5123 0 -1 1077944384 1558 0 0 0 14 3 0 0 20 0 15 0 10900018 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550482529008 140551003945602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550481475296 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550480422144 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=2.78 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 15868 0 0 0 277 1 0 0 20 0 15 0 10900021 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=2.78 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 17729 0 0 0 276 2 0 0 20 0 15 0 10900021 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) S 14635 14635 5123 0 -1 1077944384 7375 0 0 0 66 1 0 0 20 0 15 0 10900021 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 326 0 0 0 4 4 0 0 20 0 15 0 10900028 14316269568 106451 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 170.95
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.65 1.72 1.75 3/211 14736
/proc/meminfo: memFree=31213080/32770624 swapFree=0/193064
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=233.09 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 80796 0 0 0 23225 84 0 0 20 0 15 0 10900016 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 90893 3249 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=220.36 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 21679 0 0 0 22029 7 0 0 20 0 15 0 10900016 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140551008173824 140550611916790 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 1957 0 0 0 119 15 0 0 20 0 15 0 10900017 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 1443 0 0 0 119 15 0 0 20 0 15 0 10900017 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14641] ppid=14635 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/14637/task/14641/stat : 14641 (java) S 14635 14635 5123 0 -1 1077944384 2029 0 0 0 118 16 0 0 20 0 15 0 10900017 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550936262928 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14642] ppid=14635 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/14637/task/14642/stat : 14642 (java) S 14635 14635 5123 0 -1 1077944384 1909 0 0 0 117 16 0 0 20 0 15 0 10900017 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550935210384 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14643] ppid=14635 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/14637/task/14643/stat : 14643 (java) S 14635 14635 5123 0 -1 1077944384 3162 0 0 0 25 4 0 0 20 0 15 0 10900018 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550482529008 140551003945602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550481475296 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550480422144 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 17551 0 0 0 285 2 0 0 20 0 15 0 10900021 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=3.34 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 21697 0 0 0 332 2 0 0 20 0 15 0 10900021 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) S 14635 14635 5123 0 -1 1077944384 7645 0 0 0 66 1 0 0 20 0 15 0 10900021 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 330 0 0 0 5 5 0 0 20 0 15 0 10900028 14316269568 90893 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 233.09
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.57 1.70 1.74 3/211 14736
/proc/meminfo: memFree=31238356/32770624 swapFree=0/193072
[pid=14635] ppid=14632 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14635/stat : 14635 (xcsp3-exec) S 14632 14635 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10900007 9740288 345 18446744073709551615 4194304 5098028 140730876632928 140730876631032 140076986266236 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 25546752 140730876641691 140730876641895 140730876641895 140730876645355 0
/proc/14635/statm: 2378 345 289 221 0 87 0
[pid=14637] ppid=14635 vsize=13980732 CPUtime=251.36 cores=0,2,4,6
/proc/14637/stat : 14637 (java) S 14635 14635 5123 0 -1 1077944320 85790 0 0 0 25050 86 0 0 20 0 15 0 10900016 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140723229548768 140551003934455 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
/proc/14637/statm: 3495183 88504 3249 1 0 3483484 0
[pid=14637/tid=14638] ppid=14635 vsize=13980732 CPUtime=237.85 cores=0,2,4,6
/proc/14637/task/14638/stat : 14638 (java) R 14635 14635 5123 0 -1 4202560 22517 0 0 0 23778 7 0 0 20 0 15 0 10900016 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140551008173824 140550614813048 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14639] ppid=14635 vsize=13980732 CPUtime=1.51 cores=0,2,4,6
/proc/14637/task/14639/stat : 14639 (java) S 14635 14635 5123 0 -1 1077944384 2054 0 0 0 136 15 0 0 20 0 15 0 10900017 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550938368528 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14640] ppid=14635 vsize=13980732 CPUtime=1.51 cores=0,2,4,6
/proc/14637/task/14640/stat : 14640 (java) S 14635 14635 5123 0 -1 1077944384 1680 0 0 0 135 16 0 0 20 0 15 0 10900017 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550937315984 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14641] ppid=14635 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/14637/task/14641/stat : 14641 (java) S 14635 14635 5123 0 -1 1077944384 2219 0 0 0 135 17 0 0 20 0 15 0 10900017 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550936262928 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14642] ppid=14635 vsize=13980732 CPUtime=1.51 cores=0,2,4,6
/proc/14637/task/14642/stat : 14642 (java) S 14635 14635 5123 0 -1 1077944384 2288 0 0 0 134 17 0 0 20 0 15 0 10900017 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550935210384 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14643] ppid=14635 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/14637/task/14643/stat : 14643 (java) S 14635 14635 5123 0 -1 1077944384 6326 0 0 0 27 4 0 0 20 0 15 0 10900018 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550482529008 140551003945602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14644] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14644/stat : 14644 (java) S 14635 14635 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550481475296 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14645] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14645/stat : 14645 (java) S 14635 14635 5123 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 10900019 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550480422144 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14646] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14646/stat : 14646 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550479370704 140551003953051 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14647] ppid=14635 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/14637/task/14647/stat : 14647 (java) S 14635 14635 5123 0 -1 1077944384 17577 0 0 0 289 2 0 0 20 0 15 0 10900021 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550478317808 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14648] ppid=14635 vsize=13980732 CPUtime=3.37 cores=0,2,4,6
/proc/14637/task/14648/stat : 14648 (java) S 14635 14635 5123 0 -1 1077944384 21737 0 0 0 335 2 0 0 20 0 15 0 10900021 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550477265264 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14649] ppid=14635 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/14637/task/14649/stat : 14649 (java) S 14635 14635 5123 0 -1 1077944384 7660 0 0 0 66 1 0 0 20 0 15 0 10900021 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550476212208 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14650] ppid=14635 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14637/task/14650/stat : 14650 (java) S 14635 14635 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10900021 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550475159904 140551003944661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
[pid=14637/tid=14651] ppid=14635 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/14637/task/14651/stat : 14651 (java) S 14635 14635 5123 0 -1 1077944384 338 0 0 0 5 6 0 0 20 0 15 0 10900028 14316269568 88504 18446744073709551615 4194304 4196468 140723229566224 140550474107952 140551003945602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140723229573588 140723229573763 140723229573763 140723229577167 0
Current children cumulated CPU time (s) 251.36
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 14637 sig 9
??? kill 14635 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 14635 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1788
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121
# CPU time returned by wait4() is 0.001909
# while last known CPU time is 251.36
#
# 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): 251.36
CPU user time (s): 250.5
CPU system time (s): 0.86
CPU usage (%): 104.729
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001788
system time used= 0.000121
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.40909 second user time and 1.17365 second system time
The end