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-4254347-1501612510/watcher-4254347-1501612510 -o /tmp/evaluation-result-4254347-1501612510/solver-4254347-1501612510 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5151 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1134076837 HOME/instance-4254347-1501612510.xml
pid=5532
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.89 1.54 0.81 5/196 5535
/proc/meminfo: memFree=31952700/32770624 swapFree=0/181580
[pid=5535] ppid=5532 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (runsolver) D 5532 5535 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9874088 24240128 106 18446744073709551615 4194304 4338465 140725355874080 140725355871720 139790879785687 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 30068736 140725355880541 140725355881030 140725355881030 140725355884490 0
/proc/5535/statm: 5918 106 53 36 0 2156 0
[startup+0.100178 s]
/proc/loadavg: 1.89 1.54 0.81 5/196 5535
/proc/meminfo: memFree=31952700/32770624 swapFree=0/181580
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200366 s]
/proc/loadavg: 1.89 1.54 0.81 5/196 5535
/proc/meminfo: memFree=31952700/32770624 swapFree=0/181580
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304476 s]
/proc/loadavg: 1.89 1.54 0.81 5/196 5535
/proc/meminfo: memFree=31952700/32770624 swapFree=0/181580
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700167 s]
/proc/loadavg: 1.89 1.54 0.81 5/196 5535
/proc/meminfo: memFree=31952700/32770624 swapFree=0/181580
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5011 s]
/proc/loadavg: 1.89 1.54 0.81 2/195 5551
/proc/meminfo: memFree=31902004/32770624 swapFree=0/181480
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=3.31 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 20974 0 0 0 324 7 0 0 20 0 15 0 9874098 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 29439 3181 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 9918 0 0 0 127 4 0 0 20 0 15 0 9874098 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140043384159040 140042995634485 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5541] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5541/stat : 5541 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042978368272 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5542] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5542/stat : 5542 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042977315728 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5543] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5543/stat : 5543 (java) S 5535 5535 5091 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042925598960 140043379931778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) R 5535 5535 5091 0 -1 4202560 3822 0 0 0 71 1 0 0 20 0 15 0 9874103 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042921373376 140043361464784 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) R 5535 5535 5091 0 -1 4202560 2840 0 0 0 71 0 0 0 20 0 15 0 9874103 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042920322208 140043372160198 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 3042 0 0 0 52 0 0 0 20 0 15 0 9874103 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042919282368 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9874111 14316269568 29439 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.89 1.54 0.81 2/193 5595
/proc/meminfo: memFree=31874808/32770624 swapFree=0/181468
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=5.73 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 22890 0 0 0 565 8 0 0 20 0 15 0 9874098 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 33522 3183 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 10214 0 0 0 286 5 0 0 20 0 15 0 9874098 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140043384156400 140043001971008 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5541] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5541/stat : 5541 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042978368272 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5542] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5542/stat : 5542 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042977315728 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5543] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5543/stat : 5543 (java) S 5535 5535 5091 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042925598960 140043379931778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) S 5535 5535 5091 0 -1 1077944384 4257 0 0 0 111 1 0 0 20 0 15 0 9874103 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042921388784 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=1.07 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) S 5535 5535 5091 0 -1 1077944384 3606 0 0 0 107 0 0 0 20 0 15 0 9874103 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042920336240 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 3461 0 0 0 59 1 0 0 20 0 15 0 9874103 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042919283184 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9874111 14316269568 33522 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 13990244
[startup+6.30059 s]
/proc/loadavg: 2.06 1.58 0.83 3/212 5630
/proc/meminfo: memFree=31693964/32770624 swapFree=0/181332
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=9.86 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 28690 0 0 0 976 10 0 0 20 0 15 0 9874098 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 39869 3192 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 10506 0 0 0 605 6 0 0 20 0 15 0 9874098 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140043384157120 140043002497073 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5541] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5541/stat : 5541 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042978368272 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5542] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5542/stat : 5542 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042977315728 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5543] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5543/stat : 5543 (java) S 5535 5535 5091 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042925598960 140043379931778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) S 5535 5535 5091 0 -1 1077944384 4819 0 0 0 144 1 0 0 20 0 15 0 9874103 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042921388784 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) S 5535 5535 5091 0 -1 1077944384 7634 0 0 0 164 1 0 0 20 0 15 0 9874103 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042920336240 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 3492 0 0 0 61 1 0 0 20 0 15 0 9874103 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042919283184 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 15 0 9874111 14316269568 39869 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.14 1.60 0.84 3/212 5630
/proc/meminfo: memFree=31595672/32770624 swapFree=0/181340
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=16.41 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 31984 0 0 0 1631 10 0 0 20 0 15 0 9874098 14316269568 47076 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 47076 3195 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 11154 0 0 0 1244 6 0 0 20 0 15 0 9874098 14316269568 47076 18446744073709551615 4194304 4196468 140725229831136 140043384157224 140043002497364 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 47076 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874099 14316269568 47076 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
################
# More data... #
################
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=2.19 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) S 5535 5535 5091 0 -1 1077944384 11014 0 0 0 218 1 0 0 20 0 15 0 9874103 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042921388784 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=2.48 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) S 5535 5535 5091 0 -1 1077944384 14507 0 0 0 247 1 0 0 20 0 15 0 9874103 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042920336240 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 7789 0 0 0 69 1 0 0 20 0 15 0 9874103 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042919283184 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 844 0 0 0 1 1 0 0 20 0 15 0 9874111 14316269568 58107 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 107.71
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.72 1.00 3/212 5635
/proc/meminfo: memFree=31525700/32770624 swapFree=0/181412
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=167.84 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 57737 0 0 0 16763 21 0 0 20 0 15 0 9874098 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 61055 3223 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=162 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 14266 0 0 0 16193 7 0 0 20 0 15 0 9874098 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140043384160240 140043003228428 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 584 0 0 0 5 1 0 0 20 0 15 0 9874099 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2105 0 0 0 5 1 0 0 20 0 15 0 9874099 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5541] ppid=5535 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5537/task/5541/stat : 5541 (java) S 5535 5535 5091 0 -1 1077944384 650 0 0 0 5 1 0 0 20 0 15 0 9874099 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042978368272 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5542] ppid=5535 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5537/task/5542/stat : 5542 (java) S 5535 5535 5091 0 -1 1077944384 1654 0 0 0 5 1 0 0 20 0 15 0 9874099 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042977315728 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5543] ppid=5535 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5537/task/5543/stat : 5543 (java) S 5535 5535 5091 0 -1 1077944384 1053 0 0 0 2 0 0 0 20 0 15 0 9874100 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042925598960 140043379931778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=2.2 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) S 5535 5535 5091 0 -1 1077944384 11426 0 0 0 219 1 0 0 20 0 15 0 9874103 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042921388784 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=2.53 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) S 5535 5535 5091 0 -1 1077944384 15799 0 0 0 252 1 0 0 20 0 15 0 9874103 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042920336240 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 7976 0 0 0 69 1 0 0 20 0 15 0 9874103 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042919283184 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 868 0 0 0 2 2 0 0 20 0 15 0 9874111 14316269568 61055 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.12 1.80 1.07 3/212 5637
/proc/meminfo: memFree=31544540/32770624 swapFree=0/181428
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=227.9 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 60691 0 0 0 22767 23 0 0 20 0 15 0 9874098 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 56187 3223 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=221.98 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 14901 0 0 0 22191 7 0 0 20 0 15 0 9874098 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140043384157800 140043002173131 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 1002 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2127 0 0 0 5 1 0 0 20 0 15 0 9874099 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5541] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5541/stat : 5541 (java) S 5535 5535 5091 0 -1 1077944384 679 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042978368272 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5542] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5542/stat : 5542 (java) S 5535 5535 5091 0 -1 1077944384 1691 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042977315728 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5543] ppid=5535 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5537/task/5543/stat : 5543 (java) S 5535 5535 5091 0 -1 1077944384 1289 0 0 0 2 0 0 0 20 0 15 0 9874100 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042925598960 140043379931778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) S 5535 5535 5091 0 -1 1077944384 11697 0 0 0 220 1 0 0 20 0 15 0 9874103 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042921388784 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) S 5535 5535 5091 0 -1 1077944384 16220 0 0 0 253 1 0 0 20 0 15 0 9874103 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042920336240 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 8837 0 0 0 69 1 0 0 20 0 15 0 9874103 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042919283184 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 892 0 0 0 3 3 0 0 20 0 15 0 9874111 14316269568 56187 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 227.9
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.80 1.09 3/211 5638
/proc/meminfo: memFree=31554024/32770624 swapFree=0/181444
[pid=5535] ppid=5532 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5535/stat : 5535 (xcsp3-exec) S 5532 5535 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874088 9740288 345 18446744073709551615 4194304 5098028 140733571637824 140733571635928 139847218119292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 35717120 140733571641755 140733571641959 140733571641959 140733571645419 0
/proc/5535/statm: 2378 345 289 221 0 87 0
[pid=5537] ppid=5535 vsize=13980732 CPUtime=245.65 cores=0,2,4,6
/proc/5537/stat : 5537 (java) S 5535 5535 5091 0 -1 1077944320 61532 0 0 0 24542 23 0 0 20 0 15 0 9874098 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140725229813680 140043379920631 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
/proc/5537/statm: 3495183 53751 3223 1 0 3483484 0
[pid=5537/tid=5538] ppid=5535 vsize=13980732 CPUtime=239.67 cores=0,2,4,6
/proc/5537/task/5538/stat : 5538 (java) R 5535 5535 5091 0 -1 4202560 14917 0 0 0 23960 7 0 0 20 0 15 0 9874098 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140043384157528 140043003610118 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5539] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5539/stat : 5539 (java) S 5535 5535 5091 0 -1 1077944384 1003 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042980473872 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5540] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5540/stat : 5540 (java) S 5535 5535 5091 0 -1 1077944384 2129 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042979421328 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5541] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5541/stat : 5541 (java) S 5535 5535 5091 0 -1 1077944384 681 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042978368272 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5542] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5542/stat : 5542 (java) S 5535 5535 5091 0 -1 1077944384 1691 0 0 0 6 1 0 0 20 0 15 0 9874099 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042977315728 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5543] ppid=5535 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5537/task/5543/stat : 5543 (java) S 5535 5535 5091 0 -1 1077944384 1290 0 0 0 2 0 0 0 20 0 15 0 9874100 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042925598960 140043379931778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5544] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5544/stat : 5544 (java) S 5535 5535 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9874100 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042924545184 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5545] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5545/stat : 5545 (java) S 5535 5535 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9874101 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042923492080 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5546] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5546/stat : 5546 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042922440656 140043379939227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5547] ppid=5535 vsize=13980732 CPUtime=2.23 cores=0,2,4,6
/proc/5537/task/5547/stat : 5547 (java) S 5535 5535 5091 0 -1 1077944384 12252 0 0 0 222 1 0 0 20 0 15 0 9874103 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042921388784 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5548] ppid=5535 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/5537/task/5548/stat : 5548 (java) S 5535 5535 5091 0 -1 1077944384 16484 0 0 0 255 1 0 0 20 0 15 0 9874103 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042920336240 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5549] ppid=5535 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/5537/task/5549/stat : 5549 (java) S 5535 5535 5091 0 -1 1077944384 8837 0 0 0 69 1 0 0 20 0 15 0 9874103 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042919283184 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5550] ppid=5535 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5537/task/5550/stat : 5550 (java) S 5535 5535 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874103 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042918230880 140043379930837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
[pid=5537/tid=5551] ppid=5535 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5537/task/5551/stat : 5551 (java) S 5535 5535 5091 0 -1 1077944384 892 0 0 0 4 3 0 0 20 0 15 0 9874111 14316269568 53751 18446744073709551615 4194304 4196468 140725229831136 140042917177904 140043379931778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140725229834708 140725229834883 140725229834883 140725229838287 0
Current children cumulated CPU time (s) 245.65
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 5537 sig 9
??? kill 5535 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 5535 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1199
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=959
# CPU time returned by wait4() is 0.002158
# while last known CPU time is 245.65
#
# 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): 245.65
CPU user time (s): 245.42
CPU system time (s): 0.23
CPU usage (%): 102.35
Max. virtual memory (cumulated for all children) (KiB): 13992260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001199
system time used= 0.000959
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.13876 second user time and 1.32263 second system time
The end