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-4255253-1501618273/watcher-4255253-1501618273 -o /tmp/evaluation-result-4255253-1501618273/solver-4255253-1501618273 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 564269543 HOME/instance-4255253-1501618273.xml
pid=10175
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.61 1.64 1.77 4/195 10178
/proc/meminfo: memFree=31930632/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (runsolver) D 10175 10178 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10447573 24240128 108 18446744073709551615 4194304 4338465 140727243963984 140727243961624 140440887665367 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 9125888 140727243972702 140727243973190 140727243973190 140727243976650 0
/proc/10178/statm: 5918 108 54 36 0 2156 0
[startup+0.100061 s]
/proc/loadavg: 1.61 1.64 1.77 4/195 10178
/proc/meminfo: memFree=31930632/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.204767 s]
/proc/loadavg: 1.61 1.64 1.77 4/195 10178
/proc/meminfo: memFree=31930632/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300321 s]
/proc/loadavg: 1.61 1.64 1.77 4/195 10178
/proc/meminfo: memFree=31930632/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703762 s]
/proc/loadavg: 1.61 1.64 1.77 4/195 10178
/proc/meminfo: memFree=31930632/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.64 1.65 1.77 8/211 10194
/proc/meminfo: memFree=31753848/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=3.85 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 30974 0 0 0 377 8 0 0 20 0 15 0 10447577 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 31317 3184 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 9880 0 0 0 134 4 0 0 20 0 15 0 10447577 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140319335349312 140318952141030 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10184] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10184/stat : 10184 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140319270955408 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10185] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10185/stat : 10185 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140319269902608 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10186] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10186/stat : 10186 (java) S 10178 10178 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10447579 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140318876883824 140319331125890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140318875829792 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140318874776944 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) R 10178 10178 5131 0 -1 4202560 6614 0 0 0 93 1 0 0 20 0 15 0 10447583 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140318872657456 140319316234898 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) R 10178 10178 5131 0 -1 4202560 9052 0 0 0 93 1 0 0 20 0 15 0 10447583 14316269568 31317 18446744073709551615 4194304 4196468 140736243084896 140318871611664 140319316014250 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13983096 CPUtime=0.56 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 4117 0 0 0 55 1 0 0 20 0 15 0 10447583 14318690304 31317 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13983096 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14318690304 31317 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13983096 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447588 14318690304 31317 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 1.64 1.65 1.77 7/211 10194
/proc/meminfo: memFree=31665144/32770624 swapFree=0/189860
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=8.68 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 42615 0 0 0 857 11 0 0 20 0 15 0 10447577 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 46942 3188 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 10367 0 0 0 294 4 0 0 20 0 15 0 10447577 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140319335350856 140318954427075 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10184] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10184/stat : 10184 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140319270955408 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10185] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10185/stat : 10185 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140319269902608 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10186] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10186/stat : 10186 (java) S 10178 10178 5131 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10447579 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318876883824 140319331125890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318875829792 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318874776944 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) R 10178 10178 5131 0 -1 4202560 12720 0 0 0 251 3 0 0 20 0 15 0 10447583 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318872657392 140319317138506 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=2.53 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) R 10178 10178 5131 0 -1 4202560 13954 0 0 0 252 1 0 0 20 0 15 0 10447583 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318871612312 140319309131752 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 4223 0 0 0 58 1 0 0 20 0 15 0 10447583 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10447588 14316269568 46942 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.67 1.65 1.78 3/211 10194
/proc/meminfo: memFree=31670500/32770624 swapFree=0/189872
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=13.71 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 57728 0 0 0 1359 12 0 0 20 0 15 0 10447577 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 44089 3200 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 10980 0 0 0 614 4 0 0 20 0 15 0 10447577 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140319335350304 140318955193379 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10184] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10184/stat : 10184 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140319270955408 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10185] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10185/stat : 10185 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140319269902608 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10186] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10186/stat : 10186 (java) S 10178 10178 5131 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 10447579 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318876883824 140319331125890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318875829792 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318874776944 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=3.48 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) S 10178 10178 5131 0 -1 1077944384 17644 0 0 0 345 3 0 0 20 0 15 0 10447583 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318872672624 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=3.4 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) S 10178 10178 5131 0 -1 1077944384 22641 0 0 0 338 2 0 0 20 0 15 0 10447583 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318871619824 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 4610 0 0 0 60 1 0 0 20 0 15 0 10447583 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 10447588 14316269568 44089 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 13.71
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.70 1.66 1.78 4/211 10194
/proc/meminfo: memFree=31567252/32770624 swapFree=0/189880
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=20.15 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 59224 0 0 0 2002 13 0 0 20 0 15 0 10447577 14316269568 42714 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 42714 3200 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=12.58 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 11532 0 0 0 1254 4 0 0 20 0 15 0 10447577 14316269568 42714 18446744073709551615 4194304 4196468 140736243084896 140319335350192 140318955193362 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 42714 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10447578 14316269568 42714 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
################
# More data... #
################
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318875829792 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318874776944 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=4.36 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) S 10178 10178 5131 0 -1 1077944384 25236 0 0 0 433 3 0 0 20 0 15 0 10447583 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318872672624 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=4.06 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) S 10178 10178 5131 0 -1 1077944384 27864 0 0 0 404 2 0 0 20 0 15 0 10447583 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318871619824 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 9088 0 0 0 72 2 0 0 20 0 15 0 10447583 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 907 0 0 0 1 1 0 0 20 0 15 0 10447588 14316269568 60013 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 111.46
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.72 1.68 1.77 3/211 10200
/proc/meminfo: memFree=31494308/32770624 swapFree=0/189956
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=172.13 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 89886 0 0 0 17192 21 0 0 20 0 15 0 10447577 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 64198 3230 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=162.13 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 15273 0 0 0 16207 6 0 0 20 0 15 0 10447577 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140319335350336 140318955193307 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1052 0 0 0 1 0 0 0 20 0 15 0 10447578 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 685 0 0 0 1 0 0 0 20 0 15 0 10447578 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10184] ppid=10178 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/10180/task/10184/stat : 10184 (java) S 10178 10178 5131 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 10447578 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140319270955408 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10185] ppid=10178 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/10180/task/10185/stat : 10185 (java) S 10178 10178 5131 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 15 0 10447578 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140319269902608 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10186] ppid=10178 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/10180/task/10186/stat : 10186 (java) S 10178 10178 5131 0 -1 1077944384 807 0 0 0 1 1 0 0 20 0 15 0 10447579 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318876883824 140319331125890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318875829792 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318874776944 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=4.57 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) S 10178 10178 5131 0 -1 1077944384 27033 0 0 0 454 3 0 0 20 0 15 0 10447583 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318872672624 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=4.45 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) S 10178 10178 5131 0 -1 1077944384 30968 0 0 0 442 3 0 0 20 0 15 0 10447583 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318871619824 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 11265 0 0 0 74 2 0 0 20 0 15 0 10447583 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 931 0 0 0 2 2 0 0 20 0 15 0 10447588 14316269568 64198 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 172.13
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.41 1.62 1.74 3/212 10209
/proc/meminfo: memFree=31451184/32770624 swapFree=0/189988
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=233.29 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 91459 0 0 0 23303 26 0 0 20 0 15 0 10447577 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 71974 3230 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=222.05 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 15759 0 0 0 22199 6 0 0 20 0 15 0 10447577 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140319335353968 140318955193182 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1172 0 0 0 6 1 0 0 20 0 15 0 10447578 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 801 0 0 0 6 1 0 0 20 0 15 0 10447578 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10184] ppid=10178 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/10180/task/10184/stat : 10184 (java) S 10178 10178 5131 0 -1 1077944384 274 0 0 0 7 1 0 0 20 0 15 0 10447578 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140319270955408 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10185] ppid=10178 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/10180/task/10185/stat : 10185 (java) S 10178 10178 5131 0 -1 1077944384 491 0 0 0 6 1 0 0 20 0 15 0 10447578 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140319269902608 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10186] ppid=10178 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/10180/task/10186/stat : 10186 (java) S 10178 10178 5131 0 -1 1077944384 817 0 0 0 3 1 0 0 20 0 15 0 10447579 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318876883824 140319331125890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318875829856 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318874776960 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=5.05 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) S 10178 10178 5131 0 -1 1077944384 27156 0 0 0 501 4 0 0 20 0 15 0 10447583 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318872672624 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=4.82 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) S 10178 10178 5131 0 -1 1077944384 31196 0 0 0 479 3 0 0 20 0 15 0 10447583 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318871619824 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 11481 0 0 0 85 2 0 0 20 0 15 0 10447583 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 933 0 0 0 3 3 0 0 20 0 15 0 10447588 14316269568 71974 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 233.29
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.33 1.59 1.73 2/200 10254
/proc/meminfo: memFree=31679144/32770624 swapFree=0/190024
[pid=10178] ppid=10175 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10178/stat : 10178 (xcsp3-exec) S 10175 10178 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10447573 9740288 345 18446744073709551615 4194304 5098028 140724420762048 140724420760152 140554855965308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18280448 140724420764060 140724420764263 140724420764263 140724420767723 0
/proc/10178/statm: 2378 345 289 221 0 87 0
[pid=10180] ppid=10178 vsize=13980732 CPUtime=251.28 cores=0,2,4,6
/proc/10180/stat : 10180 (java) S 10178 10178 5131 0 -1 1077944320 94807 0 0 0 25100 28 0 0 20 0 15 0 10447577 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140736243067440 140319331114743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
/proc/10180/statm: 3495183 72660 3230 1 0 3483484 0
[pid=10180/tid=10181] ppid=10178 vsize=13980732 CPUtime=239.72 cores=0,2,4,6
/proc/10180/task/10181/stat : 10181 (java) R 10178 10178 5131 0 -1 4202560 16034 0 0 0 23966 6 0 0 20 0 15 0 10447577 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140319335353920 140318952993043 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10182] ppid=10178 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/10180/task/10182/stat : 10182 (java) S 10178 10178 5131 0 -1 1077944384 1461 0 0 0 8 2 0 0 20 0 15 0 10447578 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140319273061008 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10183] ppid=10178 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/10180/task/10183/stat : 10183 (java) S 10178 10178 5131 0 -1 1077944384 834 0 0 0 8 2 0 0 20 0 15 0 10447578 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140319272008208 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10184] ppid=10178 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/10180/task/10184/stat : 10184 (java) S 10178 10178 5131 0 -1 1077944384 303 0 0 0 8 2 0 0 20 0 15 0 10447578 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140319270955408 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10185] ppid=10178 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/10180/task/10185/stat : 10185 (java) S 10178 10178 5131 0 -1 1077944384 513 0 0 0 8 2 0 0 20 0 15 0 10447578 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140319269902608 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10186] ppid=10178 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/10180/task/10186/stat : 10186 (java) S 10178 10178 5131 0 -1 1077944384 851 0 0 0 3 1 0 0 20 0 15 0 10447579 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318876883824 140319331125890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10187] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10187/stat : 10187 (java) S 10178 10178 5131 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318875829856 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10188] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10188/stat : 10188 (java) S 10178 10178 5131 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10447580 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318874776960 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10189] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10189/stat : 10189 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318873725264 140319331133339 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10190] ppid=10178 vsize=13980732 CPUtime=5.16 cores=0,2,4,6
/proc/10180/task/10190/stat : 10190 (java) S 10178 10178 5131 0 -1 1077944384 28144 0 0 0 512 4 0 0 20 0 15 0 10447583 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318872672624 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10191] ppid=10178 vsize=13980732 CPUtime=4.93 cores=0,2,4,6
/proc/10180/task/10191/stat : 10191 (java) S 10178 10178 5131 0 -1 1077944384 32174 0 0 0 490 3 0 0 20 0 15 0 10447583 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318871619824 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10192] ppid=10178 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/10180/task/10192/stat : 10192 (java) S 10178 10178 5131 0 -1 1077944384 12171 0 0 0 88 2 0 0 20 0 15 0 10447583 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318870567024 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10193] ppid=10178 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10180/task/10193/stat : 10193 (java) S 10178 10178 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10447583 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318869514464 140319331124949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
[pid=10180/tid=10194] ppid=10178 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10180/task/10194/stat : 10194 (java) S 10178 10178 5131 0 -1 1077944384 943 0 0 0 3 3 0 0 20 0 15 0 10447588 14316269568 72660 18446744073709551615 4194304 4196468 140736243084896 140318868462768 140319331125890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140736243089876 140736243090051 140736243090051 140736243093455 0
Current children cumulated CPU time (s) 251.28
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 10180 sig 9
??? kill 10178 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 10178 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1847
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.001966
# while last known CPU time is 251.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 251.28
CPU user time (s): 251
CPU system time (s): 0.28
CPU usage (%): 104.696
Max. virtual memory (cumulated for all children) (KiB): 13993204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001847
system time used= 0.000119
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.0385 second user time and 1.38574 second system time
The end