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-4254381-1501613803/watcher-4254381-1501613803 -o /tmp/evaluation-result-4254381-1501613803/solver-4254381-1501613803 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 88701113 HOME/instance-4254381-1501613803.xml
pid=5756
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 1.83 4/199 5759
/proc/meminfo: memFree=31915028/32770624 swapFree=0/160832
[pid=5759] ppid=5756 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (runsolver) D 5756 5759 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3290855 24240128 108 18446744073709551615 4194304 4338465 140730700943552 140730700941192 140683684061911 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 19566592 140730700947552 140730700948039 140730700948039 140730700951498 0
/proc/5759/statm: 5918 108 54 36 0 2156 0
[startup+0.100159 s]
/proc/loadavg: 2.06 2.02 1.83 4/199 5759
/proc/meminfo: memFree=31915028/32770624 swapFree=0/160832
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201969 s]
/proc/loadavg: 2.06 2.02 1.83 4/199 5759
/proc/meminfo: memFree=31915028/32770624 swapFree=0/160832
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300267 s]
/proc/loadavg: 2.06 2.02 1.83 4/199 5759
/proc/meminfo: memFree=31915028/32770624 swapFree=0/160832
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700207 s]
/proc/loadavg: 2.06 2.02 1.83 4/199 5759
/proc/meminfo: memFree=31915028/32770624 swapFree=0/160832
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 2.06 2.02 1.83 5/215 5775
/proc/meminfo: memFree=31812852/32770624 swapFree=0/160864
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=3.29 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 17846 0 0 0 323 6 0 0 20 0 15 0 3290865 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 34339 3177 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 8412 0 0 0 130 4 0 0 20 0 15 0 3290865 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245806173456 140245401157904 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3290867 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245279532192 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245278479088 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 3312 0 0 0 74 0 0 0 20 0 15 0 3290870 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 2537 0 0 0 69 1 0 0 20 0 15 0 3290870 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 2274 0 0 0 48 0 0 0 20 0 15 0 3290870 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3290875 14316269568 34339 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 2.06 2.02 1.83 4/215 5775
/proc/meminfo: memFree=31721320/32770624 swapFree=0/160864
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=7.12 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 28671 0 0 0 703 9 0 0 20 0 15 0 3290865 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 54122 3215 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 9058 0 0 0 288 5 0 0 20 0 15 0 3290865 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245806170736 140245402805701 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 3290867 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245279532192 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245278479088 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 8150 0 0 0 182 0 0 0 20 0 15 0 3290870 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 5542 0 0 0 170 1 0 0 20 0 15 0 3290870 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 3529 0 0 0 59 0 0 0 20 0 15 0 3290870 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3290875 14316269568 54122 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.05 2.02 1.83 3/215 5775
/proc/meminfo: memFree=31715804/32770624 swapFree=0/160876
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=10.56 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 30059 0 0 0 1047 9 0 0 20 0 15 0 3290865 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 52654 3219 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=6.13 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 9324 0 0 0 608 5 0 0 20 0 15 0 3290865 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245806171104 140245400905520 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 3290867 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245279532192 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245278479088 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 8345 0 0 0 193 1 0 0 20 0 15 0 3290870 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=1.84 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 6437 0 0 0 182 2 0 0 20 0 15 0 3290870 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 3539 0 0 0 60 0 0 0 20 0 15 0 3290870 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 3290875 14316269568 52654 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.05 2.02 1.83 3/215 5775
/proc/meminfo: memFree=31711964/32770624 swapFree=0/160876
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=17.02 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 31403 0 0 0 1692 10 0 0 20 0 15 0 3290865 14316269568 52694 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 52694 3219 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 9766 0 0 0 1248 5 0 0 20 0 15 0 3290865 14316269568 52694 18446744073709551615 4194304 4196468 140721768481424 140245806171312 140245402805781 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 52694 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 3290866 14316269568 52694 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
################
# More data... #
################
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 48332 0 0 0 10704 14 0 0 20 0 15 0 3290865 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 56038 3219 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=102.09 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 12536 0 0 0 10204 5 0 0 20 0 15 0 3290865 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245806174064 140245402805655 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 1591 0 0 0 2 0 0 0 20 0 15 0 3290866 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 739 0 0 0 1 0 0 0 20 0 15 0 3290866 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 2643 0 0 0 2 1 0 0 20 0 15 0 3290866 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 971 0 0 0 2 0 0 0 20 0 15 0 3290866 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 1054 0 0 0 1 0 0 0 20 0 15 0 3290867 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245279532256 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245278479104 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 11551 0 0 0 215 1 0 0 20 0 15 0 3290870 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 10068 0 0 0 205 2 0 0 20 0 15 0 3290870 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 5472 0 0 0 64 1 0 0 20 0 15 0 3290870 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 336 0 0 0 1 2 0 0 20 0 15 0 3290875 14316269568 56038 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.86 3/216 5859
/proc/meminfo: memFree=31685952/32770624 swapFree=0/161036
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=167.24 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 49875 0 0 0 16708 16 0 0 20 0 15 0 3290865 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 55529 3219 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=162.07 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 13147 0 0 0 16202 5 0 0 20 0 15 0 3290865 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245806174064 140245787144542 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 1618 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 774 0 0 0 2 0 0 0 20 0 15 0 3290866 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 3044 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 996 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 1286 0 0 0 2 0 0 0 20 0 15 0 3290867 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245279532256 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245278479104 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 11554 0 0 0 215 1 0 0 20 0 15 0 3290870 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 10075 0 0 0 205 2 0 0 20 0 15 0 3290870 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 5651 0 0 0 64 1 0 0 20 0 15 0 3290870 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 359 0 0 0 2 3 0 0 20 0 15 0 3290875 14316269568 55529 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 167.24
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.90 1.97 1.86 3/216 5861
/proc/meminfo: memFree=31693332/32770624 swapFree=0/161076
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=227.28 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 51133 0 0 0 22710 18 0 0 20 0 15 0 3290865 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 52578 3219 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=222.07 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 13668 0 0 0 22202 5 0 0 20 0 15 0 3290865 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245806174096 140245401598271 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 2021 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 796 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 3053 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 1027 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 1519 0 0 0 2 0 0 0 20 0 15 0 3290867 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245279532256 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245278479104 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 11557 0 0 0 215 1 0 0 20 0 15 0 3290870 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 10083 0 0 0 205 2 0 0 20 0 15 0 3290870 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 5655 0 0 0 64 1 0 0 20 0 15 0 3290870 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 383 0 0 0 3 3 0 0 20 0 15 0 3290875 14316269568 52578 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 227.28
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.93 1.97 1.86 3/216 5861
/proc/meminfo: memFree=31698104/32770624 swapFree=0/161084
[pid=5759] ppid=5756 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (xcsp3-exec) S 5756 5759 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3290855 9740288 344 18446744073709551615 4194304 5098028 140736380189520 140736380187624 140451308175996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22970368 140736380195230 140736380195432 140736380195432 140736380198891 0
/proc/5759/statm: 2378 344 289 221 0 87 0
[pid=5761] ppid=5759 vsize=13980732 CPUtime=244.98 cores=0,2,4,6
/proc/5761/stat : 5761 (java) S 5759 5759 3187 0 -1 1077944320 51174 0 0 0 24480 18 0 0 20 0 15 0 3290865 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140721768463968 140245801934583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
/proc/5761/statm: 3495183 52065 3219 1 0 3483484 0
[pid=5761/tid=5762] ppid=5759 vsize=13980732 CPUtime=239.76 cores=0,2,4,6
/proc/5761/task/5762/stat : 5762 (java) R 5759 5759 3187 0 -1 4202560 13705 0 0 0 23971 5 0 0 20 0 15 0 3290865 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245806174208 140245402805660 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5763] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5763/stat : 5763 (java) S 5759 5759 3187 0 -1 1077944384 2022 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245721349136 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5764] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5764/stat : 5764 (java) S 5759 5759 3187 0 -1 1077944384 796 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245720296592 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5765] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5765/stat : 5765 (java) S 5759 5759 3187 0 -1 1077944384 3053 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245719243536 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5766] ppid=5759 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5761/task/5766/stat : 5766 (java) S 5759 5759 3187 0 -1 1077944384 1027 0 0 0 3 1 0 0 20 0 15 0 3290866 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245718190992 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5767] ppid=5759 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5761/task/5767/stat : 5767 (java) S 5759 5759 3187 0 -1 1077944384 1522 0 0 0 2 0 0 0 20 0 15 0 3290867 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245280585968 140245801945730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5768] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5768/stat : 5768 (java) S 5759 5759 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245279532256 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5769] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5769/stat : 5769 (java) S 5759 5759 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3290868 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245278479104 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5770] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5770/stat : 5770 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290870 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245277427664 140245801953179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5771] ppid=5759 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/5761/task/5771/stat : 5771 (java) S 5759 5759 3187 0 -1 1077944384 11557 0 0 0 215 1 0 0 20 0 15 0 3290870 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245276375792 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5772] ppid=5759 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/5761/task/5772/stat : 5772 (java) S 5759 5759 3187 0 -1 1077944384 10083 0 0 0 205 2 0 0 20 0 15 0 3290870 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245275323248 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5773] ppid=5759 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/5761/task/5773/stat : 5773 (java) S 5759 5759 3187 0 -1 1077944384 5655 0 0 0 64 1 0 0 20 0 15 0 3290870 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245274270192 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5774] ppid=5759 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5761/task/5774/stat : 5774 (java) S 5759 5759 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3290871 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245273217888 140245801944789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
[pid=5761/tid=5775] ppid=5759 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5761/task/5775/stat : 5775 (java) S 5759 5759 3187 0 -1 1077944384 383 0 0 0 3 3 0 0 20 0 15 0 3290875 14316269568 52065 18446744073709551615 4194304 4196468 140721768481424 140245272164912 140245801945730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33751040 140721768485333 140721768485508 140721768485508 140721768488911 0
Current children cumulated CPU time (s) 244.98
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 5761 sig 9
??? kill 5759 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.013
CPU time (s): 245.006
CPU user time (s): 244.816
CPU system time (s): 0.189329
CPU usage (%): 102.08
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.816
system time used= 0.189329
maximum resident set size= 230296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7791
involuntary context switches= 321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11243 second user time and 1.38206 second system time
The end