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-4253935-1501616748/watcher-4253935-1501616748 -o /tmp/evaluation-result-4253935-1501616748/solver-4253935-1501616748 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1572536478 HOME/instance-4253935-1501616748.xml
pid=24001
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.88 1.93 3/199 24004
/proc/meminfo: memFree=31491908/32770624 swapFree=0/210692
[pid=24004] ppid=24001 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (runsolver) D 24001 24004 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61328289 24240128 106 18446744073709551615 4194304 4338465 140722146330064 140722146327704 140234473444055 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 32690176 140722146336859 140722146337349 140722146337349 140722146340810 0
/proc/24004/statm: 5918 106 53 36 0 2156 0
[startup+0.100053 s]
/proc/loadavg: 1.77 1.88 1.93 3/199 24004
/proc/meminfo: memFree=31491908/32770624 swapFree=0/210692
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.203597 s]
/proc/loadavg: 1.77 1.88 1.93 3/199 24004
/proc/meminfo: memFree=31491908/32770624 swapFree=0/210692
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300257 s]
/proc/loadavg: 1.77 1.88 1.93 3/199 24004
/proc/meminfo: memFree=31491908/32770624 swapFree=0/210692
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701095 s]
/proc/loadavg: 1.77 1.88 1.93 3/199 24004
/proc/meminfo: memFree=31491908/32770624 swapFree=0/210692
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 1.77 1.88 1.93 3/215 24020
/proc/meminfo: memFree=31352880/32770624 swapFree=0/210708
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=2.84 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 15828 0 0 0 275 9 0 0 20 0 15 0 61328298 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 50312 3193 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 8351 0 0 0 129 4 0 0 20 0 15 0 61328298 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172495350688 140172117184640 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24010] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24004 18930 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172089363088 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24011] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24004 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172088310288 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24012] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24004 18930 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172036758128 140172491123330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 1841 0 0 0 47 0 0 0 20 0 15 0 61328303 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) R 24004 24004 18930 0 -1 4202560 1816 0 0 0 56 0 0 0 20 0 15 0 61328303 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172031480224 140172474498767 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.34 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 2060 0 0 0 34 0 0 0 20 0 15 0 61328303 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328308 14316269568 50312 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.77 1.88 1.93 3/215 24020
/proc/meminfo: memFree=31302060/32770624 swapFree=0/210708
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=4.81 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 17324 0 0 0 472 9 0 0 20 0 15 0 61328298 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 50758 3197 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 8562 0 0 0 289 4 0 0 20 0 15 0 61328298 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172495348136 140172491124118 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24010] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24004 18930 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172089363088 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24011] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24004 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172088310288 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24012] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24004 18930 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172036758128 140172491123330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 2492 0 0 0 66 0 0 0 20 0 15 0 61328303 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) R 24004 24004 18930 0 -1 4202560 1963 0 0 0 69 0 0 0 20 0 15 0 61328303 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172031494128 140172477167488 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 2446 0 0 0 39 0 0 0 20 0 15 0 61328303 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61328308 14316269568 50758 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 1.79 1.89 1.93 3/215 24021
/proc/meminfo: memFree=31299968/32770624 swapFree=0/210716
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=8.31 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 18355 0 0 0 821 10 0 0 20 0 15 0 61328298 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 51140 3205 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 8675 0 0 0 608 4 0 0 20 0 15 0 61328298 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172495347824 140172117488550 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24010] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24004 18930 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172089363088 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24011] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24004 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172088310288 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24012] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24004 18930 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172036758128 140172491123330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 2541 0 0 0 69 1 0 0 20 0 15 0 61328303 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) S 24004 24004 18930 0 -1 1077944384 2739 0 0 0 94 0 0 0 20 0 15 0 61328303 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172031494128 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 2474 0 0 0 40 0 0 0 20 0 15 0 61328303 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 61328308 14316269568 51140 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.81 1.89 1.93 3/215 24021
/proc/meminfo: memFree=31293044/32770624 swapFree=0/210720
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=15 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 22114 0 0 0 1490 10 0 0 20 0 15 0 61328298 14316269568 51623 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 51623 3205 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 9260 0 0 0 1248 5 0 0 20 0 15 0 61328298 14316269568 51623 18446744073709551615 4194304 4196468 140736402832048 140172495347776 140172117488110 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 51623 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 51623 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
################
# More data... #
################
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=1.17 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 10992 0 0 0 116 1 0 0 20 0 15 0 61328303 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) S 24004 24004 18930 0 -1 1077944384 9941 0 0 0 155 1 0 0 20 0 15 0 61328303 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140172031494128 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 4141 0 0 0 43 0 0 0 20 0 15 0 61328303 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 430 0 0 0 3 2 0 0 20 0 15 0 61328308 14316269568 54254 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 105.48
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 1.93 1.95 3/216 24026
/proc/meminfo: memFree=31273932/32770624 swapFree=0/210824
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=166.85 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 45789 0 0 0 16669 16 0 0 20 0 15 0 61328298 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 55423 3205 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=162.12 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 11558 0 0 0 16207 5 0 0 20 0 15 0 61328298 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172495349832 140172117487921 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24010] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24004 18930 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172089363088 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24011] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24004 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172088310288 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24012] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24004 18930 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172036758128 140172491123330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 14410 0 0 0 172 2 0 0 20 0 15 0 61328303 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=2.24 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) S 24004 24004 18930 0 -1 1077944384 12202 0 0 0 223 1 0 0 20 0 15 0 61328303 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172031494128 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 5156 0 0 0 51 0 0 0 20 0 15 0 61328303 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 436 0 0 0 4 4 0 0 20 0 15 0 61328308 14316269568 55423 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 166.85
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.99 1.94 1.95 3/215 24028
/proc/meminfo: memFree=31273464/32770624 swapFree=0/210852
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=227.16 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 50542 0 0 0 22699 17 0 0 20 0 15 0 61328298 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 55466 3210 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=222.12 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 11888 0 0 0 22207 5 0 0 20 0 15 0 61328298 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172495350216 140172117487990 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24010] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24004 18930 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172089363088 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24011] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24004 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172088310288 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24012] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24004 18930 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172036758128 140172491123330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 15550 0 0 0 181 2 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=2.42 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) S 24004 24004 18930 0 -1 1077944384 15326 0 0 0 241 1 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172031494128 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 5231 0 0 0 52 0 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 472 0 0 0 6 5 0 0 20 0 15 0 61328308 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 227.16
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.00 1.95 1.95 3/215 24106
/proc/meminfo: memFree=31245640/32770624 swapFree=0/210924
[pid=24004] ppid=24001 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24004/stat : 24004 (xcsp3-exec) S 24001 24004 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61328289 9740288 345 18446744073709551615 4194304 5098028 140727127241792 140727127239896 139934935552636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 13082624 140727127245210 140727127245414 140727127245414 140727127248875 0
/proc/24004/statm: 2378 345 289 221 0 87 0
[pid=24006] ppid=24004 vsize=13980732 CPUtime=244.86 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24004 18930 0 -1 1077944320 50543 0 0 0 24469 17 0 0 20 0 15 0 61328298 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140736402814592 140172491112183 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
/proc/24006/statm: 3495183 55466 3210 1 0 3483484 0
[pid=24006/tid=24007] ppid=24004 vsize=13980732 CPUtime=239.81 cores=0,2,4,6
/proc/24006/task/24007/stat : 24007 (java) R 24004 24004 18930 0 -1 4202560 11889 0 0 0 23976 5 0 0 20 0 15 0 61328298 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172495350216 140172117488525 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24008] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) S 24004 24004 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172433058192 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24009] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24004 18930 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172090415376 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24010] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24004 18930 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172089363088 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24011] ppid=24004 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24004 18930 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 61328299 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172088310288 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24012] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24004 18930 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172036758128 140172491123330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24013] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24004 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61328300 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172035704096 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24014] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24004 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61328301 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172034651760 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24015] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172033600080 140172491130779 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24016] ppid=24004 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24004 18930 0 -1 1077944384 15550 0 0 0 181 2 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172032546928 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24017] ppid=24004 vsize=13980732 CPUtime=2.42 cores=0,2,4,6
/proc/24006/task/24017/stat : 24017 (java) S 24004 24004 18930 0 -1 1077944384 15326 0 0 0 241 1 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172031494128 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24018] ppid=24004 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24004 18930 0 -1 1077944384 5231 0 0 0 52 0 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140172030441840 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24019] ppid=24004 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24004 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61328303 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140171400178144 140172491122389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
[pid=24006/tid=24020] ppid=24004 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24004 18930 0 -1 1077944384 472 0 0 0 7 6 0 0 20 0 15 0 61328308 14316269568 55466 18446744073709551615 4194304 4196468 140736402832048 140171399125936 140172491123330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13463552 140736402833875 140736402834050 140736402834050 140736402837455 0
Current children cumulated CPU time (s) 244.86
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 24006 sig 9
??? kill 24004 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 24004 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1857
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.001857
# while last known CPU time is 244.86
#
# 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.86
CPU user time (s): 244.69
CPU system time (s): 0.17
CPU usage (%): 102.021
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001857
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12299 second user time and 1.5814 second system time
The end