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-4254375-1501613735/watcher-4254375-1501613735 -o /tmp/evaluation-result-4254375-1501613735/solver-4254375-1501613735 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5191 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1197746244 HOME/instance-4254375-1501613735.xml
pid=6732
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.00 1.88 1.56 4/195 6735
/proc/meminfo: memFree=31772148/32770624 swapFree=0/184612
[pid=6735] ppid=6732 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (runsolver) D 6732 6735 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9993768 24240128 108 18446744073709551615 4194304 4338465 140729299533312 140729299530952 140227042009815 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11911168 140729299538013 140729299538502 140729299538502 140729299541962 0
/proc/6735/statm: 5918 108 54 36 0 2156 0
[startup+0.100128 s]
/proc/loadavg: 2.00 1.88 1.56 4/195 6735
/proc/meminfo: memFree=31772148/32770624 swapFree=0/184612
[pid=6735] ppid=6732 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (runsolver) D 6732 6735 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9993768 24240128 108 18446744073709551615 4194304 4338465 140729299533312 140729299530952 140227042009815 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11911168 140729299538013 140729299538502 140729299538502 140729299541962 0
/proc/6735/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200291 s]
/proc/loadavg: 2.00 1.88 1.56 4/195 6735
/proc/meminfo: memFree=31772148/32770624 swapFree=0/184612
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300241 s]
/proc/loadavg: 2.00 1.88 1.56 4/195 6735
/proc/meminfo: memFree=31772148/32770624 swapFree=0/184612
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702889 s]
/proc/loadavg: 2.00 1.88 1.56 4/195 6735
/proc/meminfo: memFree=31772148/32770624 swapFree=0/184612
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 2.00 1.88 1.56 5/211 6751
/proc/meminfo: memFree=31678152/32770624 swapFree=0/184644
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=3.29 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 18943 0 0 0 324 5 0 0 20 0 15 0 9993779 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 32382 3180 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 9035 0 0 0 129 3 0 0 20 0 15 0 9993780 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438657260320 140438270881768 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6741] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438250629904 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6742] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438249577360 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6743] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438198720752 140438653033090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438197666976 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438196613872 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 2527 0 0 0 71 0 0 0 20 0 15 0 9993785 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 3771 0 0 0 75 0 0 0 20 0 15 0 9993785 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 2299 0 0 0 48 0 0 0 20 0 15 0 9993785 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9993790 14316269568 32382 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 2.00 1.88 1.56 5/211 6751
/proc/meminfo: memFree=31586908/32770624 swapFree=0/184644
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=6.88 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 24934 0 0 0 680 8 0 0 20 0 15 0 9993779 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 49387 3212 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 9773 0 0 0 287 4 0 0 20 0 15 0 9993780 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438657259000 140438271780055 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6741] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 5131 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438250629904 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6742] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 5131 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438249577360 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6743] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 5131 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438198720752 140438653033090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438197666976 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438196613872 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=1.59 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 3858 0 0 0 159 0 0 0 20 0 15 0 9993785 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 5547 0 0 0 172 0 0 0 20 0 15 0 9993785 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 3365 0 0 0 58 1 0 0 20 0 15 0 9993785 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9993790 14316269568 49387 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.16 1.92 1.58 3/211 6751
/proc/meminfo: memFree=31586408/32770624 swapFree=0/184656
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=10.4 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 27540 0 0 0 1032 8 0 0 20 0 15 0 9993779 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 49526 3221 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 10380 0 0 0 607 4 0 0 20 0 15 0 9993780 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438657258688 140438271780059 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6741] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 5131 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438250629904 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6742] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 5131 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438249577360 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6743] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 5131 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438198720752 140438653033090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438197666976 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438196613872 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 4431 0 0 0 172 0 0 0 20 0 15 0 9993785 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=1.9 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 6511 0 0 0 190 0 0 0 20 0 15 0 9993785 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 3786 0 0 0 59 1 0 0 20 0 15 0 9993785 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9993790 14316269568 49526 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 10.4
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.14 1.92 1.58 3/211 6751
/proc/meminfo: memFree=31585788/32770624 swapFree=0/184660
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=16.83 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 28025 0 0 0 1675 8 0 0 20 0 15 0 9993779 14316269568 49547 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 49547 3221 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 10557 0 0 0 1246 4 0 0 20 0 15 0 9993780 14316269568 49547 18446744073709551615 4194304 4196468 140725662520992 140438657259224 140438271779920 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49547 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9993780 14316269568 49547 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
################
# More data... #
################
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438197667040 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438196613888 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=1.84 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 7430 0 0 0 184 0 0 0 20 0 15 0 9993785 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 9580 0 0 0 205 0 0 0 20 0 15 0 9993785 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 5911 0 0 0 62 1 0 0 20 0 15 0 9993785 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 211 0 0 0 1 1 0 0 20 0 15 0 9993790 14316269568 52869 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 106.8
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.89 1.93 1.64 3/211 6755
/proc/meminfo: memFree=31586284/32770624 swapFree=0/184744
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=166.94 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 46616 0 0 0 16679 15 0 0 20 0 15 0 9993779 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 51732 3221 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=162.02 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 13891 0 0 0 16198 4 0 0 20 0 15 0 9993780 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438657261424 140438273491631 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 987 0 0 0 2 1 0 0 20 0 15 0 9993780 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 983 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6741] ppid=6735 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 5131 0 -1 1077944384 2696 0 0 0 2 1 0 0 20 0 15 0 9993780 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438250629904 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6742] ppid=6735 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 5131 0 -1 1077944384 1294 0 0 0 2 1 0 0 20 0 15 0 9993780 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438249577360 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6743] ppid=6735 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 5131 0 -1 1077944384 1271 0 0 0 1 0 0 0 20 0 15 0 9993782 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438198720752 140438653033090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438197667040 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438196613888 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 7509 0 0 0 191 0 0 0 20 0 15 0 9993785 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 9937 0 0 0 208 0 0 0 20 0 15 0 9993785 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 6424 0 0 0 63 1 0 0 20 0 15 0 9993785 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 248 0 0 0 2 2 0 0 20 0 15 0 9993790 14316269568 51732 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 166.94
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.06 1.97 1.67 3/211 6835
/proc/meminfo: memFree=31532352/32770624 swapFree=0/184840
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=226.96 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 46917 0 0 0 22680 16 0 0 20 0 15 0 9993779 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 49166 3221 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=222.01 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 14121 0 0 0 22196 5 0 0 20 0 15 0 9993780 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438657261424 140438273518806 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 992 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 985 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6741] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 5131 0 -1 1077944384 2698 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438250629904 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6742] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 5131 0 -1 1077944384 1298 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438249577360 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6743] ppid=6735 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 5131 0 -1 1077944384 1283 0 0 0 2 0 0 0 20 0 15 0 9993782 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438198720752 140438653033090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438197667040 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438196613888 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 7512 0 0 0 191 0 0 0 20 0 15 0 9993785 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 9945 0 0 0 208 0 0 0 20 0 15 0 9993785 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 6428 0 0 0 63 1 0 0 20 0 15 0 9993785 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 279 0 0 0 2 3 0 0 20 0 15 0 9993790 14316269568 49166 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 226.96
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.05 1.97 1.68 3/211 6836
/proc/meminfo: memFree=31460776/32770624 swapFree=0/184852
[pid=6735] ppid=6732 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 5131 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9993768 9740288 344 18446744073709551615 4194304 5098028 140732810948144 140732810946248 140668267172476 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35004416 140732810949019 140732810949223 140732810949223 140732810952683 0
/proc/6735/statm: 2378 344 289 221 0 87 0
[pid=6737] ppid=6735 vsize=13980732 CPUtime=244.66 cores=0,2,4,6
/proc/6737/stat : 6737 (java) S 6735 6735 5131 0 -1 1077944320 48565 0 0 0 24450 16 0 0 20 0 15 0 9993779 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140725662503536 140438653021943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
/proc/6737/statm: 3495183 47885 3221 1 0 3483484 0
[pid=6737/tid=6738] ppid=6735 vsize=13980732 CPUtime=239.7 cores=0,2,4,6
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 5131 0 -1 4202560 14426 0 0 0 23965 5 0 0 20 0 15 0 9993780 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438657261344 140438273635746 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6739] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 5131 0 -1 1077944384 1001 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438587456528 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6740] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 5131 0 -1 1077944384 1005 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438251682960 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6741] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 5131 0 -1 1077944384 2725 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438250629904 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6742] ppid=6735 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 5131 0 -1 1077944384 1658 0 0 0 3 1 0 0 20 0 15 0 9993780 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438249577360 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6743] ppid=6735 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 5131 0 -1 1077944384 1482 0 0 0 2 0 0 0 20 0 15 0 9993782 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438198720752 140438653033090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6744] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438197667040 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6745] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 5131 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9993782 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438196613888 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6746] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438195562448 140438653040539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6747] ppid=6735 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 5131 0 -1 1077944384 7512 0 0 0 191 0 0 0 20 0 15 0 9993785 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438194510576 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6748] ppid=6735 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 5131 0 -1 1077944384 9945 0 0 0 208 0 0 0 20 0 15 0 9993785 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438193458032 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6749] ppid=6735 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 5131 0 -1 1077944384 7156 0 0 0 63 1 0 0 20 0 15 0 9993785 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438192404976 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6750] ppid=6735 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9993785 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438191352672 140438653032149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
[pid=6737/tid=6751] ppid=6735 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 5131 0 -1 1077944384 279 0 0 0 2 3 0 0 20 0 15 0 9993790 14316269568 47885 18446744073709551615 4194304 4196468 140725662520992 140438190299696 140438653033090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9678848 140725662527956 140725662528131 140725662528131 140725662531535 0
Current children cumulated CPU time (s) 244.66
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 6737 sig 9
??? kill 6735 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 6735 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1769
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123
# CPU time returned by wait4() is 0.001892
# while last known CPU time is 244.66
#
# 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): 244.66
CPU user time (s): 244.5
CPU system time (s): 0.16
CPU usage (%): 101.937
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001769
system time used= 0.000123
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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.08555 second user time and 1.34119 second system time
The end