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-4255027-1501620631/watcher-4255027-1501620631 -o /tmp/evaluation-result-4255027-1501620631/solver-4255027-1501620631 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 826194882 HOME/instance-4255027-1501620631.xml
pid=14687
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.11 1.81 1.77 4/198 14690
/proc/meminfo: memFree=31839868/32770624 swapFree=0/169296
[pid=14690] ppid=14687 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (runsolver) D 14687 14690 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3973720 24240128 107 18446744073709551615 4194304 4338465 140729541382720 140729541380360 140269945463511 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 9134080 140729541390431 140729541390919 140729541390919 140729541394378 0
/proc/14690/statm: 5918 107 54 36 0 2156 0
[startup+0.100174 s]
/proc/loadavg: 2.11 1.81 1.77 4/198 14690
/proc/meminfo: memFree=31839868/32770624 swapFree=0/169296
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200229 s]
/proc/loadavg: 2.11 1.81 1.77 4/198 14690
/proc/meminfo: memFree=31839868/32770624 swapFree=0/169296
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304132 s]
/proc/loadavg: 2.11 1.81 1.77 4/198 14690
/proc/meminfo: memFree=31839868/32770624 swapFree=0/169296
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702088 s]
/proc/loadavg: 2.11 1.81 1.77 4/198 14690
/proc/meminfo: memFree=31839868/32770624 swapFree=0/169296
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 2.10 1.82 1.77 3/214 14706
/proc/meminfo: memFree=31689680/32770624 swapFree=0/169320
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=3.83 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 19445 0 0 0 372 11 0 0 20 0 15 0 3973728 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 55863 3210 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 9130 0 0 0 126 5 0 0 20 0 15 0 3973728 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140521857775560 140521488240836 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) R 14690 14690 3187 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14696] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14696/stat : 14696 (java) S 14690 14690 3187 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140521808398736 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14697] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14697/stat : 14697 (java) S 14690 14690 3187 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140521807345936 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14698] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14698/stat : 14698 (java) S 14690 14690 3187 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 3973730 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140521399270256 140521853549186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) R 14690 14690 3187 0 -1 1077944384 2771 0 0 0 89 0 0 0 20 0 15 0 3973734 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520832864336 140521853548245 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) R 14690 14690 3187 0 -1 4202560 2847 0 0 0 87 0 0 0 20 0 15 0 3973734 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520831801904 140521837924720 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) R 14690 14690 3187 0 -1 4202560 3007 0 0 0 56 1 0 0 20 0 15 0 3973734 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521837618526 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973738 14316269568 55863 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13990244
[startup+3.10087 s]
/proc/loadavg: 2.10 1.82 1.77 5/214 14706
/proc/meminfo: memFree=31594076/32770624 swapFree=0/169320
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=7.1 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 26727 0 0 0 698 12 0 0 20 0 15 0 3973728 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 61660 3214 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 9659 0 0 0 286 5 0 0 20 0 15 0 3973728 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140521857776336 140521488571744 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) S 14690 14690 3187 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14696] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14696/stat : 14696 (java) S 14690 14690 3187 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140521808398736 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14697] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14697/stat : 14697 (java) S 14690 14690 3187 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140521807345936 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14698] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14698/stat : 14698 (java) S 14690 14690 3187 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 3973730 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140521399270256 140521853549186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=1.69 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) S 14690 14690 3187 0 -1 1077944384 5879 0 0 0 169 0 0 0 20 0 15 0 3973734 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520832874864 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) S 14690 14690 3187 0 -1 1077944384 5557 0 0 0 165 0 0 0 20 0 15 0 3973734 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520831822064 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) S 14690 14690 3187 0 -1 1077944384 3890 0 0 0 65 1 0 0 20 0 15 0 3973734 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 3973738 14316269568 61660 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 13990244
[startup+6.30078 s]
/proc/loadavg: 2.10 1.82 1.77 3/214 14706
/proc/meminfo: memFree=31595208/32770624 swapFree=0/169328
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=10.87 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 27090 0 0 0 1075 12 0 0 20 0 15 0 3973728 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 60880 3214 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 9781 0 0 0 606 5 0 0 20 0 15 0 3973728 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140521857774640 140521488173320 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) S 14690 14690 3187 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14696] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14696/stat : 14696 (java) S 14690 14690 3187 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140521808398736 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14697] ppid=14690 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14692/task/14697/stat : 14697 (java) S 14690 14690 3187 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 15 0 3973729 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140521807345936 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14698] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14698/stat : 14698 (java) S 14690 14690 3187 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 3973730 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140521399270256 140521853549186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) S 14690 14690 3187 0 -1 1077944384 5954 0 0 0 193 1 0 0 20 0 15 0 3973734 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520832874864 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) S 14690 14690 3187 0 -1 1077944384 5624 0 0 0 193 1 0 0 20 0 15 0 3973734 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520831822064 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) S 14690 14690 3187 0 -1 1077944384 3965 0 0 0 69 1 0 0 20 0 15 0 3973734 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 3973738 14316269568 60880 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.01 1.81 1.77 3/214 14706
/proc/meminfo: memFree=31489696/32770624 swapFree=0/169340
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=18.09 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 34980 0 0 0 1787 22 0 0 20 0 15 0 3973728 14316269568 89340 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 89340 3223 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=12.41 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 11039 0 0 0 1236 5 0 0 20 0 15 0 3973728 14316269568 89340 18446744073709551615 4194304 4196468 140736554723520 140521857776792 140521488545148 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) S 14690 14690 3187 0 -1 1077944384 221 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 89340 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 1049 0 0 0 10 2 0 0 20 0 15 0 3973729 14316269568 89340 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
################
# More data... #
################
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=2.63 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) S 14690 14690 3187 0 -1 1077944384 11841 0 0 0 262 1 0 0 20 0 15 0 3973734 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520832874864 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) S 14690 14690 3187 0 -1 1077944384 14809 0 0 0 292 2 0 0 20 0 15 0 3973734 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520831822064 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) S 14690 14690 3187 0 -1 1077944384 9015 0 0 0 83 2 0 0 20 0 15 0 3973734 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 214 0 0 0 2 3 0 0 20 0 15 0 3973738 14316269568 89202 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 109.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.86 1.85 1.79 3/215 14711
/proc/meminfo: memFree=31476160/32770624 swapFree=0/169428
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=169.31 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 59947 0 0 0 16900 31 0 0 20 0 15 0 3973728 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 89222 3223 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=161.99 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 16566 0 0 0 16192 7 0 0 20 0 15 0 3973728 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140521857774104 140521489064893 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) S 14690 14690 3187 0 -1 1077944384 221 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 1049 0 0 0 10 2 0 0 20 0 15 0 3973729 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14696] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14696/stat : 14696 (java) S 14690 14690 3187 0 -1 1077944384 142 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140521808398736 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14697] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14697/stat : 14697 (java) S 14690 14690 3187 0 -1 1077944384 143 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140521807345936 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14698] ppid=14690 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14692/task/14698/stat : 14698 (java) S 14690 14690 3187 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 15 0 3973730 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140521399270256 140521853549186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=2.75 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) S 14690 14690 3187 0 -1 1077944384 13613 0 0 0 274 1 0 0 20 0 15 0 3973734 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520832874864 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=3 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) S 14690 14690 3187 0 -1 1077944384 15837 0 0 0 298 2 0 0 20 0 15 0 3973734 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520831822064 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) S 14690 14690 3187 0 -1 1077944384 10231 0 0 0 87 2 0 0 20 0 15 0 3973734 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 249 0 0 0 4 5 0 0 20 0 15 0 3973738 14316269568 89222 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 169.31
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.96 1.88 1.80 3/216 14877
/proc/meminfo: memFree=31452308/32770624 swapFree=0/169544
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=229.79 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 65581 0 0 0 22946 33 0 0 20 0 15 0 3973728 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 91714 3223 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=222 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 17067 0 0 0 22193 7 0 0 20 0 15 0 3973728 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140521857774712 140521488571363 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) S 14690 14690 3187 0 -1 1077944384 221 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 1049 0 0 0 10 2 0 0 20 0 15 0 3973729 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14696] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14696/stat : 14696 (java) S 14690 14690 3187 0 -1 1077944384 142 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140521808398736 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14697] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14697/stat : 14697 (java) S 14690 14690 3187 0 -1 1077944384 143 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140521807345936 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14698] ppid=14690 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14692/task/14698/stat : 14698 (java) S 14690 14690 3187 0 -1 1077944384 622 0 0 0 1 0 0 0 20 0 15 0 3973730 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140521399270256 140521853549186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) S 14690 14690 3187 0 -1 1077944384 18026 0 0 0 306 2 0 0 20 0 15 0 3973734 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520832874864 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=3.11 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) S 14690 14690 3187 0 -1 1077944384 16338 0 0 0 309 2 0 0 20 0 15 0 3973734 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520831822064 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) S 14690 14690 3187 0 -1 1077944384 10421 0 0 0 88 2 0 0 20 0 15 0 3973734 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 255 0 0 0 6 7 0 0 20 0 15 0 3973738 14316269568 91714 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 229.79
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.04 1.90 1.81 3/216 14878
/proc/meminfo: memFree=31403340/32770624 swapFree=0/169564
[pid=14690] ppid=14687 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14690/stat : 14690 (xcsp3-exec) S 14687 14690 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3973720 9740288 345 18446744073709551615 4194304 5098028 140728065655136 140728065653240 139741421982332 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33259520 140728065663389 140728065663592 140728065663592 140728065667051 0
/proc/14690/statm: 2378 345 289 221 0 87 0
[pid=14692] ppid=14690 vsize=13980732 CPUtime=247.52 cores=0,2,4,6
/proc/14692/stat : 14692 (java) S 14690 14690 3187 0 -1 1077944320 66751 0 0 0 24718 34 0 0 20 0 15 0 3973728 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140736554706064 140521853538039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
/proc/14692/statm: 3495183 90716 3223 1 0 3483484 0
[pid=14692/tid=14693] ppid=14690 vsize=13980732 CPUtime=239.69 cores=0,2,4,6
/proc/14692/task/14693/stat : 14693 (java) R 14690 14690 3187 0 -1 4202560 17868 0 0 0 23962 7 0 0 20 0 15 0 3973728 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140521857773696 140521490372299 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14694] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14694/stat : 14694 (java) S 14690 14690 3187 0 -1 1077944384 221 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140521810504336 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14695] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14695/stat : 14695 (java) S 14690 14690 3187 0 -1 1077944384 1049 0 0 0 10 2 0 0 20 0 15 0 3973729 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140521809451536 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14696] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14696/stat : 14696 (java) S 14690 14690 3187 0 -1 1077944384 142 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140521808398736 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14697] ppid=14690 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14692/task/14697/stat : 14697 (java) S 14690 14690 3187 0 -1 1077944384 143 0 0 0 9 3 0 0 20 0 15 0 3973729 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140521807345936 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14698] ppid=14690 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14692/task/14698/stat : 14698 (java) S 14690 14690 3187 0 -1 1077944384 656 0 0 0 1 0 0 0 20 0 15 0 3973730 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140521399270256 140521853549186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14699] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14699/stat : 14699 (java) S 14690 14690 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520836032032 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14700] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14700/stat : 14700 (java) S 14690 14690 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3973731 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520834979184 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14701] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14701/stat : 14701 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520833927504 140521853556635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14702] ppid=14690 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/14692/task/14702/stat : 14702 (java) S 14690 14690 3187 0 -1 1077944384 18038 0 0 0 306 2 0 0 20 0 15 0 3973734 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520832874864 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14703] ppid=14690 vsize=13980732 CPUtime=3.11 cores=0,2,4,6
/proc/14692/task/14703/stat : 14703 (java) S 14690 14690 3187 0 -1 1077944384 16630 0 0 0 309 2 0 0 20 0 15 0 3973734 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520831822064 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14704] ppid=14690 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/14692/task/14704/stat : 14704 (java) S 14690 14690 3187 0 -1 1077944384 10433 0 0 0 89 2 0 0 20 0 15 0 3973734 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520830769264 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14705] ppid=14690 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14692/task/14705/stat : 14705 (java) S 14690 14690 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973734 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520829716704 140521853548245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
[pid=14692/tid=14706] ppid=14690 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/14692/task/14706/stat : 14706 (java) S 14690 14690 3187 0 -1 1077944384 274 0 0 0 7 7 0 0 20 0 15 0 3973738 14316269568 90716 18446744073709551615 4194304 4196468 140736554723520 140520828665008 140521853549186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140736554725845 140736554726020 140736554726020 140736554729423 0
Current children cumulated CPU time (s) 247.52
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 14692 sig 9
??? kill 14690 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 14690 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=909
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=909
# CPU time returned by wait4() is 0.001818
# while last known CPU time is 247.52
#
# 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): 247.52
CPU user time (s): 247.18
CPU system time (s): 0.34
CPU usage (%): 103.129
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000909
system time used= 0.000909
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.14124 second user time and 1.55918 second system time
The end